Я создаю онтологию в Protégé 5.5.0.
У меня есть два класса: «Персона» и «Компания».Они могут быть связаны следующими свойствами:
- использует (обратное значение isEmployedBy);
- управляет (обратное значение isManagedBy);
- спонсоры (обратное значение isSponsoredBy).
Классы описаны следующим образом:
Человек эквивалентен:
(isEmployedBy some Company)
and (isSponsoredBy some Company)
and (manages some Company)
and (isEmployedBy only Company)
and (isSponsoredBy only Company)
and (manages only Company)
Компанияэквивалентно:
employs some Person
and (isManagedBy some Person)
and (sponsors some Person)
and (employs only Person)
and (isManagedBy only Person)
and (sponsors only Person)
Я хотел бы описать, что если есть Компания (c), в которой работает Лицо (b), Компания (c) не может спонсировать Лицо (b)), хотя он может спонсировать Лицо (с), которое не работает в Компании (с).Поскольку это правило относится к отдельным лицам, а не к классам, я хотел бы знать, можно ли описать его как аксиому (с примером) или мне придется использовать SWRL.