我正在使用 OWLAPI 5.1.9 和 HermiT 1.4.5.519 以便在本体上自动生成一些 DL。我使用了https://github.com/phillord/owl-api/blob/master/contract/src/test/java/org/coode/owlapi/examples/DLQueryExample.java上的示例代码 DLQueryExample刚刚修改为使用隐士推理者。
HermiT 推理器至少似乎可以工作，但是如果我引入本体的类名，则会显示此错误：
线程“main” org.semanticweb.owlapi.manchestersyntax.renderer.ParserException 中的异常：在第 1 行第 1 列遇到质量。预期其中之一：类名称对象属性名称数据属性名称反转不是（{
at org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxParserImpl$ExceptionBuilder.build(ManchesterOWLSyntaxParserImpl.java:2759)
at org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxParserImpl.parseNonNaryClassExpression(ManchesterOWLSyntaxParserImpl.java:707)
at org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxParserImpl.parseIntersection(ManchesterOWLSyntaxParserImpl.java:598)
at org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxParserImpl.parseUnion(ManchesterOWLSyntaxParserImpl.java:620)
at org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxParserImpl.parseClassExpression(ManchesterOWLSyntaxParserImpl.java:586)
at DLQueryParser.parseClassExpression(DLQueryExampleOriginal.java:396)
at DLQueryEngine.getSuperClasses(DLQueryExampleOriginal.java:279)
at DLQueryPrinter.askQuery(DLQueryExampleOriginal.java:428)
at DLQueryExampleOriginal.doQueryLoop(DLQueryExampleOriginal.java:214)
at DLQueryExampleOriginal.main(DLQueryExampleOriginal.java:195)
DL 查询的语法是否与 Protégé 中使用的相同？