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

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

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

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

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

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


resources external protege geonames
person user3184870    schedule 15.01.2014    source источник

Ответы (1)


arrow_upward
3
arrow_downward

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

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

введите здесь описание изображения

введите здесь описание изображения

О простых свойствах

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

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

тогда вы правильно ссылаетесь на свойство. В Структурная спецификация языка веб-онтологий 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.

person Joshua Taylor    schedule 15.01.2014
comment
@user3184870 user3184870 Вы возбудили мое любопытство, поэтому я скачал онтологию геоимен и открыл ее в Protégé. Он нарушает ограничения онтологий OWL 2 DL, поэтому не является законной онтологией OWL 2 DL. Я обновил свой ответ, чтобы объяснить, почему. Возможно, стоит отправить заметку в их список рассылки или аналогичному контакту, чтобы проверить, было ли это их намерением. - person Joshua Taylor; 15.01.2014