СОВА; Цепочка собственности
У меня есть OWL онтология без людей. Дано два класса
Cs
а также
Cd
Как будет выглядеть запрос, какой тип аргументов можно использовать для поиска всех цепочек свойств, таких как:
(Cs subClassOf PropertyP exactly 1 Cd)
Где Cs - домен PropertyP, а Cd - его диапазон. Цепочка означает, что этот вывод должен быть транзитивным, т.е. если
(Cs subClassOf PropertyP1 exactly one Ctemp) and (Ctemp subClassOf PropertyP2 exactly one Cd)
тогда {PropertyP1, PropertyP2} должны рассматриваться как цепочка свойств между Cs и Cd.
Обратите внимание, что я не говорю о цепочке свойств, такой как в OWL2, потому что в случае OWL2 я должен определить эту цепочку ранее, а в моем случае я не могу это сделать.