Выразите взаимосвязь между свойствами с помощью OWL

Хотя OWL не поддерживает произвольные отношения между свойствами, доступны те, которые обычно нужны для моделирования. В частности, это:

• rdfs: subPropertyOf (который используется повторно, даже если это не пространство имен OWL) для указания того, что одно свойство подразумевает другое.
• сова: эквивалентное имущество, что указывает на то, что свойства эквивалентны (т. е. owl: equalProperty (p, q) (p (a, b) q (a, b)). owl: equalProperty равно свойство RDF, которое вы бы использовали для кодирования как эквивалентных свойств объекта, так и как эквивалентные свойства данных.

Все, что я нашел в справочнике w3 для OWL, это то, что свойства могут иметь отношение к классам (например, name -> Person) с rdfs: domain и ничего не описывать отношения между свойствами.

Я не уверен, о каком документе вы говорите; Раздел 9 об аксиомах описывает множество различных отношений, которые могут существовать между свойствами: отношения субсвойств, эквивалентность, дизъюнктность, обратность, все из которых включают несколько свойств.

Иво Величков упомянул в комментарии, что: «Это возможно с owl: то же, что и в OWL Full, но не в OWL DL. " В спецификации OWL 1 в части instanceProperty есть примечание, в котором говорится:

ПРИМЕЧАНИЕ. Эквивалентность свойств - это не то же самое, что равенство свойств. Эквивалентные свойства имеют одинаковые «значения» (т. Е. Одно и то же расширение свойства), но могут иметь различное интенсиональное значение (т. Е. Обозначать разные концепции). Равенство свойств должно быть выражено конструкцией owl: sameAs. Поскольку для этого требуется, чтобы свойства рассматривались как отдельные лица, такие аксиомы разрешены только в OWL Full.

Эта разница может иметь значение, а может и не иметь большого значения для среднего моделиста. Дело в том, что даже p (a, b) q (a, b) (owl: equalProperty) не совсем то же самое, что p = q (owl: sameAs). Например, hasUnicorn (a, b) hasLeprechaun (a, b); поскольку нет единорогов или лепреконов, нет таких отношений ни для каких людей. Но свойство hasUnicorn на самом деле не является тем же свойством, что и hasLeprechaun; они должны отличаться по существу.