我正在尝试为以下情况编写一个RDF/OWL规则。目标是改进结果数据库中的一致性检查。我想我可以用谓词逻辑写成:E= expression,M=manifestation,L=level,R=Range,D=Domain 范围:y(My and (xz)(Dx and Lxz) -> (但是我如何在ttl中把它写成一个OWL语句呢? 任何建议都是非常感谢的。
在下面的文件上运行pellet 2.3.1会产生以下错误:./draft2.owlorg.semanticweb.owlapi.io.UnparsableOntologyException: Problem parsing file:/home/users/djogo/Desktop/ontologia%20tnm/draft2.owl<