Извлечь свойство предполагаемого свойства объекта в онтологии OWL

Question

Как я могу получить для каждого класса в своей онтологии O все (выведенные) экзистенциальные ограничения?

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

• для каждого подкласса (C, D) в классов (O) × Классы (О):
  • для каждого свойства Р, определенной в свойств объекта (O):
    • , если С и Р некоторые D выполнима:
      • выход (С, Р, D)

Это довольно медленно, поскольку я работаю с vaccine ontology, который имеет 4557 классов и 107 объектов. Даже это разовое вычисление, я могу чему-то научиться, видя лучшие подходы.

Использование OWLKnowledgeExplorerReasoner из JFact как предложено here не работает, потому что он разбился при извлечении соседних меток (см мой test case)

Можете ли вы предложить какие-либо усовершенствованное решение, используя OWLAPI ставленник или любой другой инструмент? Кроме того, было бы неплохо получить только самые конкретные классы наполнителей.

Спасибо!

Answer 1

Прежде всего, ваш чек неверен. Для пустой онтологии C and P some D будет выполнимо, что не то, что вы хотите. Вы должны проверить, является ли C and not (P some D) неудовлетворителен (в качестве альтернативы, вы можете просто проверить isSubsumedBy(C, P some D)).

Вы можете улучшить время на разведку, если вы используете некоторые методы, которые используются для классификации, например:

• если C подкласс P some D, то и все подклассы C
• если C не подкласс P some D, то так все супер-классы C
• Похожие правила для суб/классов/свойств P и D
• Вы можете дать имена всем выражениям P some Thing. После классификации вы можете ограничить поиск C только подклассами этих понятий.

Это также помогает, если вы можете сузить проблему. Вам действительно нужно проверить все пары и все свойства?

Использование OWLKnowledgeExplorerReasoner от JFact, как предложено здесь, не работает, поскольку оно разбилось при извлечении соседних меток (исключение недоступности ситуации!).

Не могли бы вы предоставить тестовый пример и полную проблему со стопкой, чтобы мы могли это исправить? Вы пытались использовать то же самое с FaCT ++?