Объявление как суб-, так и супер-свойств в данных экземпляра, или просто суб-свойств?

Question

Если у меня есть простая онтология, которая включает в себя аксиому subproperty:

ex:hasChair rdfs:subPropertyOf ex:hasParticipant .

Я хочу утверждать, что "Пол Пилл был председателем примерной конференции, а Джек Джилл был участником примерной конференции". Правильно ли написать:

:exampleConference a ex:AcademicConference ;
                   ex:hasChair :paul_pill ;
                   ex:hasParticipant :jack_jill .

или мне также нужно явно указать, что Пол Пилл был участником (даже если hasChair является подвойством hasParticipant)? То есть мне нужно написать:

:exampleConference a ex:AcademicConference ;
                   ex:hasChair :paul_pill ;
                   ex:hasParticipant :paul_pill, :jack_jill .

Answer 1

Это очень сильно зависит от того, будет ли у вас разум или нет, когда вы пытаетесь получить данные из вашей онтологии. Говоря это

hasChair ⊑ hasParticipant

эквивалентно формуле первого порядка:

∀x, y. (HasChair(x,y) → hasParticipant(x,y))

Это означает, что это логически следует из hasChair(exampleConference,paulPill), который имеет свойство Participant(exampleConference,paulPill). Однако вам понадобится аргумент OWL (или RDFS), чтобы доказать это для вас, если вы только отстаиваете предложение hasChair. Если вы отстаиваете предложения hasChair и hasParticipant, вам не понадобится аргумент для определения hasParticipant(exampleConference,paulPill).

Подобный вопрос был задан в списке рассылки пользователей Jena относительно обратных свойств.

Если есть функциональная / обратно-функциональная пара, должен ли я создать состояние в обоих направлениях или использовать какое-либо устройство логического вывода для заполнения? Я создаю много троек здесь, так что я склонен делать их сам, опасаясь очень медленного перемещения большой модели.

То есть, если у вас есть свойство ParticipatesIn, и оно было обратным hasParticipant, вопрос заключается в том, достаточно ли утверждать

hasParticipant (exampleConference, paulPill)

или вы должны сделать оба

hasParticipant (exampleConference, paulPill)
participatesIn (paulPill, exampleConference)

Ответ во многом тот же: если у вас есть разум, то его достаточно. Если вы этого не сделаете, то вы, вероятно, хотите оба.