Комментарии: Сравнительный анализ фреймворков для работы с онтологиями под .NET и Java

Автор: PavelK

PavelK — Thu, 06 Jan 2011 18:04:03 +0000

Нет, тебе нужно просто через OWLDataFactory получить нужное class expression. Добавлять никакие аксиомы в онтологию не нужно. Насколько я помню, reasoner.getSubClass принимает OWLClassExpression.

Автор: VasyaRogov

VasyaRogov — Thu, 06 Jan 2011 16:27:01 +0000

Посмотрел пример но там, если ничего не пропустил, методам reasonerа передаются именованные классы, которые получаются из datafactory:

OWLClass vegPizza = fac.getOWLClass(IRI.create(«http://owl.man.ac.uk/2005/07/sssw/people#vegetarian»));
NodeSet subClses = reasoner.getSubClasses(vegPizza, true);

Т.е. если я например хочу у резанера запросить экземпляры анонимного класса, который equivalent ИменованныйКлассA or ИменованныйКлассB, то мне надо сначала через datafactory получить OWLObjectIntersectionOf этих двух классов, а потом на основании полученной аксиомы опять через datafactory получить OWLEquivalentClassesAxiom и уже полученное передать резанеру.

Автор: PavelK

PavelK — Tue, 04 Jan 2011 19:08:27 +0000

Есть, см. интерфейс OWLReasoner в OWL API и пример http://owlapi.svn.sourceforge.net/viewvc/owlapi/v3/trunk/examples/src/main/java/org/coode/owlapi/examples/Example8.java?view=markup. Именно это штатное средство используется на закладке DL Query в Protege. Т.е. ты все правильно понял, но явным образом класс добавлять в онтологию (т.е. через аксиомы) не надо.

Автор: VasyaRogov

VasyaRogov — Tue, 04 Jan 2011 13:05:50 +0000

Запросы через Class expressions… Правильно ли я понял:
1. В онтологии задаем некоторый класс с использование конструкций OWL
2. Делаем лог-вывод
3. Возврящаем экземпляры данного класса

Есть ли в OWL api штатное средство для этого или надо добавлять аксимомы для именованного класса, получать его эзмепляры а затем удалять добавленные аксииомы?

Автор: Shcherbak Sergey

Shcherbak Sergey — Sat, 10 Jul 2010 14:53:46 +0000

передержал в спам листе этот комментарий к сожалению…