曼彻斯特语法中的 ParserException

问题描述

我尝试使用来自 owl-api 的 ManchesterOWLSyntaxParser。我需要将曼彻斯特语法中的字符串转换为 OWL 公理，我可以将其添加到现有的本体中。问题是，我总是得到解析器异常（如下所示）：

    Exception in thread "main" org.semanticweb.owlapi.manchesterSyntax.renderer.ParserException: Encountered Class: at line 1 column 1. Expected one of:
Class name
Object property name
Data property name
inv
Functional
inverse
InverseFunctional
(
asymmetric
Transitive
Irreflexive
{
Symmetric
Reflexive

at org.semanticweb.owlapi.manchesterSyntax.parser.ManchesterOWLSyntaxParserImpl$ExceptionBuilder.build(ManchesterOWLSyntaxParserImpl.java:2802)
at org.semanticweb.owlapi.manchesterSyntax.parser.ManchesterOWLSyntaxParserImpl.parseAxiom(ManchesterOWLSyntaxParserImpl.java:2368)
at Main.main(Main.java:29)

我在 w3c 网站上读过曼彻斯特语法，但我不知道问题出在哪里。也许曼彻斯特解析器应该以不同的方式使用。

曼彻斯特语法中的字符串示例代码，我试图解析。

OWLOntology o = ontologyManager.loadOntologyFromOntologyDocument(new File("family.owl"));
OWLDataFactory df = o.getoWLOntologyManager().getoWLDataFactory();
ManchesterOWLSyntaxParser parser = new ManchesterOWLSyntaxParserImpl(ontologyManager.getontologyConfigurator(),df);
parser.setStringToParse("Class: <somePrefix#Father>" +
                "   EquivalentTo: \n" +
                "        <somePrefix#Male>\n" +
                "         and <somePrefix#Parent>");
OWLAxiom ax = parser.parseAxiom();

解决方法

本体没有对片段中的类和属性的声明。解析器在不知道所涉及的实体的情况下无法解析片段。

就像解析整个本体一样，类、属性和数据类型都需要在本体对象中声明公理。

java java owl-api