В OWL этот запрос работает нормально
"person and hasChild min 3"
он отлично работает и дает мне всех людей, у которых более 3 детей
но этот не работает
"person and hasChild max 3"
это должно дать мне всех людей, у которых меньше 3 детей, но это не работает
есть у кого мысли по этому поводу??
почему "мин" работает, а "макс" не дает никаких результатов!???
Спасибо
Причина, по которой второй запрос «не работает», заключается в предположении об открытом мире и, возможно, также (отсутствие) предположении об уникальном имени.
Скажем, вы заявляете:
John lives in Paris.
Mary lives in Paris.
На следующие вопросы автор рассуждений OWL отвечает следующим образом.
Who lives in Paris? John, Mary
Does at least one thing live in Paris? YES
Do at least two things live in Paris? Maybe
Is Paris a person? Maybe
Is John and Mary the same thing? Maybe
Is Paris and Mary the same thing? Maybe
Does at most one thing live in Paris? Maybe
Всякий раз, когда разработчик OWL возвращает сообщение Может быть, пользовательский интерфейс (например, Protege) ничего не показывает.
Чтобы получить ответы, которые вы, вероятно, хотите, вам нужно добавить гораздо больше информации в базу знаний, например.
Mary is not John.
Everybody who lives in Paris is either John or Mary.
Надеюсь это поможет. Глядя на то, как мало просмотров получили ваши последние вопросы на Stack Overflow, я бы сказал, что пока лучше задавать эти вопросы в списке рассылки Protege. Или, что еще лучше, загляните в архивы списков рассылки. Вопросы, связанные с предположением об открытом мире, появляются там как минимум раз в неделю.
Чтобы добавить к пунктам Каарела и прокомментировать ваш пример запроса, автор рассуждений посмотрит на имеющиеся у вас утвержденные тройки и спросит: «Могут ли быть другие утвержденные тройки, которых у меня нет в данный момент, которые утверждают, что у этого человека есть дополнительные дети что превысит лимит «три ребенка»?» Поскольку ответ на этот вопрос «может быть», рассуждающий не сможет сделать вывод (как факт), что у человека в вашем примере максимум трое детей.
Аргументатору довольно сложно доказать отрицательные утверждения из-за предположения об открытом мире. Ваш запрос «у человека не должно быть более трех детей» натыкается на эту проблему. Чтобы достичь того, что вы ищете, вы можете утверждать, что человек представляет класс родителей, у которых трое детей или меньше. Опять же, если бы вы это сделали, вам, вероятно, вообще не понадобился бы запрос.
