如何解决如何从HermiT输出确定问题在本体中的位置
我的门路很新。我已经能够运行一些示例,例如pizza.owl
或travel.owl
。然后,我打开了其他人创建的本体,当我运行HermiT推理机时,出现以下错误:
An error occurred during reasoning: String '^(\(?\+?[0-9]*\)?)?[ \.\-])?(\(?[0-9]*\)?)?[0-9A-Z \.\-\(\)]*((x|ext|extension)? ?[0-9]*)?$' in the datatype restriction org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDatatypeHandler@64cf23b2 is not a valid regular expression..
org.semanticweb.HermiT.datatypes.UnsupportedFacetException: String '^(\(?\+?[0-9]*\)?)?[ \.\-])?(\(?[0-9]*\)?)?[0-9A-Z \.\-\(\)]*((x|ext|extension)? ?[0-9]*)?$' in the datatype restriction org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDatatypeHandler@64cf23b2 is not a valid regular expression.
at org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDatatypeHandler.validateDatatypeRestriction(RDFPlainLiteralDatatypeHandler.java:126) ~[na:na]
at org.semanticweb.HermiT.datatypes.DatatypeRegistry.validateDatatypeRestriction(DatatypeRegistry.java:113) ~[na:na]
at org.semanticweb.HermiT.structural.OWLClausification$DataRangeConverter.visit(OWLClausification.java:880) ~[na:na]
at uk.ac.manchester.cs.owl.owlapi.OWLDatatypeRestrictionImpl.accept(OWLDatatypeRestrictionImpl.java:136) ~[na:na]
at org.semanticweb.HermiT.structural.OWLClausification$DataRangeConverter.convertDataRange(OWLClausification.java:820) ~[na:na]
at org.semanticweb.HermiT.structural.OWLClausification$NormalizedAxiomClausifier.visit(OWLClausification.java:647) ~[na:na]
at uk.ac.manchester.cs.owl.owlapi.OWLDataAllValuesFromImpl.accept(OWLDataAllValuesFromImpl.java:82) ~[na:na]
at org.semanticweb.HermiT.structural.OWLClausification.clausify(OWLClausification.java:235) ~[na:na]
at org.semanticweb.HermiT.structural.OWLClausification.preprocessAndClausify(OWLClausification.java:165) ~[na:na]
at org.semanticweb.HermiT.Reasoner.loadOntology(Reasoner.java:211) ~[na:na]
at org.semanticweb.HermiT.Reasoner.<init>(Reasoner.java:202) ~[na:na]
at org.semanticweb.HermiT.Reasoner.<init>(Reasoner.java:176) ~[na:na]
at org.semanticweb.HermiT.ReasonerFactory.createHermiTOWLReasoner(ReasonerFactory.java:51) ~[na:na]
at org.semanticweb.HermiT.ReasonerFactory.createReasoner(ReasonerFactory.java:19) ~[na:na]
at org.protege.editor.owl.model.inference.ReasonerUtilities.createReasoner(ReasonerUtilities.java:20) ~[na:na]
at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.ensureRunningReasonerInitialized(OWLReasonerManagerImpl.java:428) ~[na:na]
at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:386) ~[na:na]
at java.lang.Thread.run(Thread.java:745) ~[na:1.8.0_121]
在本体中定义的字符串似乎有些问题(但是我可能错了)。关于如何确定问题在本体中的位置的任何建议?
我正在使用Protege 5.5.0
谢谢!
解决方法
来自
at org.semanticweb.HermiT.structural.OWLClausification$DataRangeConverter.convertDataRange(OWLClausification.java:820)
似乎Range
的{{1}}规范存在问题。因此,转到Protege中的“数据属性”选项卡,查找具有Range规范的数据属性,然后删除该范围规范(假设您已复制了原始本体)。
通常,当与本体作战时,我会从本体中删除公理,直到其一致或没有出错。然后,我将慢慢添加公理,直到再次失败。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。