OWLReasonerRuntimeException в Protégé с использованием онтологии Geonames

Question

Я построил онтологию в Protégé 4, чтобы описать археологические находки, и я хотел бы использовать людей Geonames в качестве мест открытия. Как я могу добавить внешних лиц в Protégé? Нужно ли импортировать онтологию Geonames в мою? Я пытался:

1. импорт геонамов онтология
2. добавить нового персонажа с геонами full iri
3. добавить свойство sameAs между моим местом и новым человеком из пункта 2

но импорт онтологии Geonames заставляет умрет умереть с этим сообщением об ошибке:

OWLReasonerRuntimeException: Непростое свойство объекта ' http://www.geonames.org/ontology' используется как простое

Как я могу решить это?

Answer 1

Использование людей из других онтологий без их импорта

В общем, это, вероятно, хорошая идея импортировать онтологии, которые объявляют людей, которых вы хотите использовать. Однако в некоторых случаях это может быть не лучшим вариантом. Как описано в следующих разделах, онтология Geonames на самом деле не является легальной онтологией OWL 2 DL, поэтому, если вы попытаетесь импортировать ее в свою онтологию, вы столкнетесь с проблемами при попытках рассуждения. Таким образом, вы не должны импортировать онтологию Geonames в свою, и вы должны повторно объявить людей, которых вы хотите, в вашей собственной онтологии. Это легко в Protégé. Согласно странице онтологии GeoNames, IRI http://sws.geonames.org/3020251/ относится к городу под названием Embrun во Франции. Вы просто создаете индивидуума обычным способом, который вы делаете с Protégé, но нажимаете кнопку "игнорировать настройки создания сущностей", чтобы вы могли ввести полный IRI для индивидуума:

Относительно простых свойств

Существуют ограничения на использование определенных свойств OWL. Если вы получаете сообщение об ошибке

OWLReasonerRuntimeException: Непростое свойство объекта ' http://www.geonames.org/ontology' используется как простое

тогда вы ссылаетесь на свойство правильно. В Структурной спецификации языка веб-онтологий OWL 2 и синтаксисе функционального стиля (второе издание) есть описание простых свойств (но здесь я приведу только отрывок):

11.1 Иерархия свойств и выражения свойств простых объектов

Грубо говоря, простое выражение свойства объекта не имеет прямых или косвенных подвойств, которые являются либо транзитивными, либо определяются с помощью цепочек свойств, где понятие косвенных подвойств захватывается иерархией свойств.

Существуют ограничения на использование простых и непростых свойств:

11.2 Ограничения на закрытие аксиомы

Ограничение на простые роли. Каждое выражение класса и каждая аксиома в Ax типа из следующих двух списков содержит только простые свойства объекта.

• ObjectMinCardinality, ObjectMaxCardinality, ObjectExactCardinality и ObjectHasSelf.
• FunctionalObjectProperty, InverseFunctionalObjectProperty, IrreflexiveObjectProperty, AsymmetricObjectProperty и DisjointObjectProperties.

Это ограничение необходимо для того, чтобы гарантировать разрешимость основных проблем рассуждения для OWL 2 DL.

Geonames не является онтологией OWL 2 DL

Возможно, ваша онтология имеет некоторые проблемные аксиомы, но похоже, что в самой онтологии GeoNames есть некоторые. Я скачал версию 3.1 и открыл ее в Protégé. Не так много свойств объекта, но есть один, класс пространственныхобъектов, который имеет аксиому цепочки субпредприятий и используется в выражении класса.

Таким образом, класс пространственных объектов является непростым свойством, поскольку он имеет цепочку свойств в качестве подвойства, а класс пространственных объектов используется в выражении класса ObjectExactCardinality, а именно:

класс объектов ровно 1 штука

Это означает, что онтология GeoNames не является юридической онтологией OWL 2 DL.