Наследование имущественной характеристики подсвойствами

Является ли подсвойство иррефлексивного свойства в OWL иррефлексивным? Аналогичным образом, является ли подсвойство асимметричного свойства также асимметричным?

По логике, так и должно быть, но в документации OWL я не могу найти ничего, что указывало бы на это.

Рассмотрим следующий пример:

:parent-of a owl:IrreflexiveProperty .

:father-of a owl:ObjectProperty ;
    owl:subPropertyOf :parent-of .

Основываясь на этой онтологии, следующее было бы недопустимо, потому что parent-of нерефлексивно:

_:max :parent-of _:max .

Но является ли father-of также неявно иррефлексивным? Другими словами, будет ли это также запрещено:

_max :father-of _:max .

Если вы думаете о свойстве как о наборе стрелок, которые соединяют пары точек, то нерефлексивный просто означает, что нет стрелок, которые начинаются и заканчиваются в одной и той же точке. Подсвойство - это просто подмножество этих стрелок, поэтому подсвойство иррефлексивного свойства обязательно также иррефлексивным. То же и с асимметричными свойствами. Но опять же, я не знаю, ясно ли это объясняется в OWL или же те, кто размышляет о OWL, должны делать это «предположение».


owl rdf description-logic
person brianmearns    schedule 12.06.2014    source источник

Ответы (1)


arrow_upward
1
arrow_downward

В OWL подсвойство иррефлексивного свойства также является иррефлексивным? Аналогичным образом, является ли подсвойство асимметричного свойства также асимметричным?

да. Логическая формулировка содержится в OWL 2 Прямая семантика языка веб-онтологий (вторая Edition):

2.3.2 Аксиомы выражения свойств объекта

Удовлетворение аксиом выражения свойств объекта OWL 2 в I определяется, как показано в таблице 6.

…

  • Аксиома: IrreflexiveObjectProperty (OPE)
  • Условие: ∀ x: x ∈ Δ I подразумевает (x, x) ∉ (OPE) OP

Ваши рассуждения показывают, что любое подсвойство иррефлексивного свойства удовлетворяет условию. Следовательно, подсвойство также является нерефлексивным.

Но опять же, я не знаю, ясно ли это объясняется в OWL или предполагается, что авторы OWL делают это "предположение".

Модули рассуждений OWL основаны на этих определениях, поэтому должны иметь возможность сделать вывод о том, что подсвойство является нерефлексивным.

person Joshua Taylor    schedule 12.06.2014