Представьте, что у классов А и В и С.Создайте класс с тем же свойством объекта значение
Imagine у нас есть два свойства объекта «HASC» и «hasB»
как мы можем иметь свойство класса ограничение, так как он говорит
А подкласс
hasB мин 1 в ("который имеет" HASC мин 1 C)
HASC мин 1 C
В случае, если значение hasC.C является одинаковым для экземпляра B и экземпляр этого класса А.
В случае, если значение hasC.C является одинаковым для экземпляра B и экземпляр этот класс А.
Этот вид аксиом обычно невозможен в OWL. Как Игнацио упоминался в комментариях, если у вас есть конкретный экземпляр C в виде, например, C73, вы можете использовать нумерованный класс, как HASC некоторых {C73} или выражение HASC значение C73, но вы не можете делать общие аксиомы «соглашения», подобные этому. Например, нет никакого способа определить «подкласс бриллиантовой иерархии», как тот, у которого есть два разных предка, у которых есть общий предк.
Для удобства мы рекомендуем использовать значение hasC.C 'c'. Знаете ли вы 'c' заранее? Если это так, вы можете сделать класс oneOf ('c') и использовать его в качестве ограничения. – Ignazio