在 OWL-API 中解析曼彻斯特语法的 EOF 错误

Question

我有一个 API 可以接收 JSON 文档，其中包含本体的类、属性和公理。该文件如下所示：

  {
    "id": "myontologyid",
    "outformat": "OWL",
    "ontoclass": ["Person", "Man", "Woman", "Animal", "Rational", "Arm"],
    "ontoaxioms": ["Man subClassOf (Person)", "Person EquivalentTo: (Man OR Woman)", "hasBrother max 2 xsd:integer"],
    "ontoproperties": ["hasPart", "isBrotherOf", "hasBrother"]
 } 

本体公理键是一个包含本体所有公理的数组。此数组的值必须采用曼彻斯特语法，因为我将使用 ManchesterOWLSyntaxParser 进行解析。

当我尝试解析此代码时，我在hasBrother max 2 xsd:integer axiom 上收到以下错误：

[apache-tomcat-8.5.69-2]: org.semanticweb.owlapi.manchestersyntax.renderer.ParserException: Encountered |EOF| at line 1 column 29. Expected one of:
    SubClassOf:
    or
    and
    DisjointWith:
    EquivalentTo:

我认为曼彻斯特语法不正确。但我找不到任何指示如何使用它的 OWL-API 参考或文档。有吗？

下面是我尝试解析公理的部分代码：

ManchesterOWLSyntaxParserImpl parser = (ManchesterOWLSyntaxParserImpl) OWLManager.createManchesterParser();
parser.setOWLEntityChecker(entityChecker);

try {
    for (int i = 0; i < this.axiomas.length(); i++) {
        parser.setStringToParse(this.axiomas.getString(i));
        owlOntology.addAxiom(parser.parseAxiom());
    }           
} catch (Exception e) {
    System.out.print(e.toString());
    return null;
}

问题是：

1. 如何解决此 EOF 错误？
2. 如何将曼彻斯特语法正确插入 OWL-API？
3. 在哪里可以找到有关如何使用曼彻斯特语法解析本体的文档？

非常感谢。

Answer 1

您对 OWLAPI 类的使用似乎是正确的。预期会出现其他输入的问题，即，这不是一个完整的公理。 意思是说hasBrother对于一个人只能出现两次并且有整数范围吗？

事实上，OWLAPI 合约模块中有一个单元测试使用这个字符串作为解析的输入：

    String in = "p max 1 owl:real";
    ManchesterOWLSyntaxParser parser = OWLManager.createManchesterParser();
    parser.setStringToParse(in);
    OWLClassExpression cl = parser.parseClassExpression();

字符串的格式与您尝试解析的格式相同，并且它提供了一个类表达式，而不是公理 - 具体来说，是数据属性的限定最大基数限制。例如，这可以是子类公理中的超类或子类，但公理的其余部分不存在。