1

Тема: Как разобрать OWL аксиому с помощью OWL API

Имеются в виду составные (которые не из двух именованных классов состоят) аксиомы, например, есть аксиома:
EquivalentClasses(<http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#quale> ObjectIntersectionOf(<http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#region> ObjectSomeValuesFrom(<http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#atomic-part-of> <http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#region>)) )
т.е.
EquvalentTo:
           region and (atomic-part-of some region)

Необходимо определить, что в ней пересечение именованного и анонимного класса + анонимный класс, задан ограничением на свойство + ограничение some и в нем именованный класс.

Какой класс/метод в owl api можно посмотреть? Можно просто исходник дать - я уже разберусь.

P/S: Можно конечно toStringом аксиому в строку перевести и самому парсить, но есть подозрение, что есть цивилизованный путь smile

2

Re: Как разобрать OWL аксиому с помощью OWL API

Цивилизованный путь называется OWLClassExpressionVisitor