Protege DL Query - экземпляры без определенного ObjectProperty

Question

Я работаю с Protege и пытаюсь вернуть DL-запрос всех экземпляров без определенного свойства.

Например, я могу вернуть экземпляры числа (например, число1, число2 и т. Д.) С помощью свойства initialValue, используя initialValue и некоторые значения.

Как сделать DL QUERY в Protege, который возвращает экземпляры числа, которые не имеют свойства intialValue?

заранее спасибо

Answer 1

Я не совсем уверен, но я не думаю, что это можно сделать. Я думаю, что проблема заключается в OWA " Открытый мир", который применяется в семантической сети и онтологиях. По-видимому, мы не можем сказать, что что-то не так, просто потому что мы этого не знаем. Когда что-то неизвестно, это просто неизвестно.

В твоем случае instances of number that don't have the property intialValue, Когда number имеет initialValue Value это прямо указано, тогда ясно, что оно есть. Теперь посмотрим, что у нас есть number1 а также number2 случаи Number без назначения initialValue Value им. Это не заставит мыслителя сделать вывод, что number1 а также number2 не иметь initialValue Value,

Чтобы уточнить это:

Number that not (initialValue some Value)

Ничего не вернет, это OWA!

Я думаю, что в качестве обходного пути вы можете утверждать отрицательные свойства в Protege, которые могут помочь, но не решить эту проблему. Посмотрим, у нас есть v1, экземпляр Value, Вы можете утверждать (используя, например, Protege), что number3 не имеет initialValue v1, тогда вы можете запросить:

 Number that not (initialValue value v1)

Это будет восстановить number3,