OWL 2 Reasoners и пользовательские типы данных не работают

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

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

Я не нашел сообщения об ошибке или сообщения журнала.

Причина не запускается.

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

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

РЕДАКТИРОВАТЬ 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


owl semantic-web protege
person Gaurav    schedule 02.07.2014    source источник
comment
Вы выбрали основателя рассуждений из меню основателя рассуждений?   -  person Joshua Taylor    schedule 03.07.2014
comment
Существует возможность определить новые типы данных, и я обнаружил интересный факт, что мы добавляем новые некоторые новые типы данных, такие как процент, мы не можем использовать Fact ++ Reasoner, а также в некоторых других случаях Fact ++ Reasoner не работает Я нашел HermiT 1.3.7 сейчас работает у меня. Спасибо.   -  person Gaurav    schedule 03.07.2014
comment
Дополнительные типы данных не поддерживаются FaCT ++ в настоящее время - вероятно, следует просто игнорировать их, а не выдавать ошибку.   -  person Ignazio    schedule 03.07.2014
comment
Окно хода выполнения Reasoner указывает на то, что модуль рассуждений запускается. В верхнем левом углу может быть трассировка стека, где должен появиться красный треугольник. В противном случае попробуйте запустить Protege с консоли (запустите файл run.bat в основной папке Protege) и посмотрите, не печатается ли там какое-либо сообщение. Можете ли вы поделиться онтологией или воспроизвести проблему в общедоступной онтологии?   -  person Ignazio    schedule 03.07.2014
comment
@Ignazio Я добавил сообщение журнала ошибок и ссылку pastebin для онтологии.   -  person Gaurav    schedule 03.07.2014

Ответы (1)


arrow_upward
0
arrow_downward

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

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

person Ignazio    schedule 03.07.2014