Блог

Главная - Вопросы по программированию - Не работают средства аргументации OWL 2 и пользовательские типы данных

Не работают средства аргументации OWL 2 и пользовательские типы данных

#semantic-web #owl #protege

#семантическая сеть #owl #protege

Вопрос:

Я пытаюсь запустить Protege Reasoner, доступны два средства аргументации Fact и HermiT 1.3.7.

Я попытался запустить оба, но их окно is появляется и внезапно исчезает. Это трудно увидеть, поэтому я использую screen recorder, чтобы получить это, но оно не содержит никакой информации. введите описание изображения здесь

Я не могу найти сообщение об ошибке или сообщение журнала.

Средство аргументации не запускается.

Я попытался использовать опцию Экспортировать выведенные аксиомы как онтологию, а затем я получаю ожидаемое сообщение об ошибке «Не инициализировано средство аргументации»

Пожалуйста, предложите.

РЕДАКТИРОВАТЬ 1:

Журнал ошибок из-за определения нового типа данных:

 org.semanticweb.owlapi.reasoner.ReasonerInternalException: Unsupported datatype
'http://www.semanticweb.org/q49f318b/ontologies/2014/6/untitled-ontology-6#perce
ntage'
        at uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.getBuiltInDataType(Nati
ve Method)
        at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.toData
TypePointer(Unknown Source)
        at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$AxiomT
ranslator$DeclarationVisitorEx.visit(Unknown Source)
        at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$AxiomT
ranslator$DeclarationVisitorEx.visit(Unknown Source)
        at uk.ac.manchester.cs.owl.owlapi.OWLDatatypeImpl.accept(OWLDatatypeImpl
.java:338)
        at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$AxiomT
ranslator.visit(Unknown Source)
        at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$AxiomT
ranslator.visit(Unknown Source)
        at uk.ac.manchester.cs.owl.owlapi.OWLDeclarationAxiomImpl.accept(OWLDecl
arationAxiomImpl.java:128)
        at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.loadAx
iom(Unknown Source)
        at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.loadRe
asonerAxioms(Unknown Source)
        at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.<init>
(Unknown Source)
        at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasonerFactory
.createReasoner(Unknown Source)
        at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasonerFactory
.createReasoner(Unknown Source)
        at org.protege.editor.owl.model.inference.ReasonerUtilities.createReason
er(ReasonerUtilities.java:21)
        at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$Classif
icationRunner.ensureRunningReasonerInitialized(OWLReasonerManagerImpl.java:398)
        at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$Classif
icationRunner.run(OWLReasonerManagerImpl.java:354)
        at java.lang.Thread.run(Thread.java:745)

Используемая онтология:

http://pastebin.com/L0heDLBy

Комментарии:

1. Вы выбрали средство аргументации в меню средства аргументации?

2. Есть возможность определить новые типы данных, и я обнаружил интересный факт, что мы добавляем несколько новых типов данных, таких как процент, мы не можем использовать средство аргументации Fact , а также в некоторых других случаях средство аргументации Fact не работает. Я обнаружил, что HermiT 1.3.7 работает, хотя сейчас для меня. Спасибо.

3. Дополнительные типы данных в настоящее время не поддерживаются FaCT — вероятно, их следует просто игнорировать, а не выдавать ошибку

4. Окно выполнения средства аргументации указывает на то, что средство аргументации запускается. В верхнем левом углу, где должен отображаться красный треугольник, может быть доступна трассировка стека. В противном случае попробуйте запустить Protege с консоли (запустите файл run.bat в главной папке protege) и посмотрите, напечатано ли там какое-либо сообщение. Можете ли вы предоставить общий доступ к онтологии или воспроизвести проблему в общедоступной онтологии?

5. @Ignazio Я добавил сообщение журнала ошибок и ссылку pastebin для онтологии.

Ответ №1:

Трассировка стека подтверждает, что FaCT не позволяет указывать пользовательские типы данных — в настоящее время это известное ограничение. Я не знаю об HermiT, но есть большая вероятность, что проблема та же.

Раньше у Pellet была более гибкая обработка типов данных, вы можете попробовать установить ее и использовать вместо HermiT или FaCT