PSOA2TPTP公司 swMATH ID: 7648 软件作者： 邹，Gen；彼得·保罗，鲁本；哈罗德·博利；亚历山大·里亚扎诺夫 描述： PSOA2TPTP：用于与TPTP推理机互操作PSOA RuleML的参考翻译程序PSOA RuleML是一种最近指定的规则语言，结合了关系建模和面向对象建模。为了为PSOA RuleML提供推理服务，我们实现了一个参考翻译程序PSOA2TPTP，以将PSOA规则ML表示语法（PSOA/PS）中的知识库和查询映射到受许多一阶逻辑推理器支持的流行TPTP格式。特别是，PSOA RuleML推理已经可以使用开源的VampirePrime推理器进行推理，从而支持查询应答和隐含以及一致性检查。翻译程序目前由lexer、解析器和树遍历器组成，由ANTLR v3解析器生成器工具根据我们开发的语法生成。我们讨论了如何将原始的PSOA/PS语法重写为\（LL（1）\）语法，从而证明了PSOA/PS可以被有效地解析。我们还通过规范化和翻译阶段提出了从PSOA RuleML到TPTP的语义表示映射。我们将转换和查询代码封装到RESTfulWeb服务中，以方便远程访问，并提供一个演示网站。 主页： http://reubenpeterpaul.github.io/PSOA-to-TPTP/build/html/index.html 源代码： https://github.com/scaryPonens/psoa2tptp 相关软件： 引用于： 0个文档