PSOA2TPP

psoa2tpp:用于与TPTP推理器互操作psoaruleml的参考转换器psoaruleml是最近指定的结合了关系建模和面向对象建模的规则语言。为了为psoaruleml提供推理服务,我们实现了一个参考转换器psoa2tpp,将psoaruleml表示语法(PSOA/PS)中的知识库和查询映射到受许多一阶逻辑推理器支持的流行TPTP格式。特别是,psoaruleml推理已经可以使用开源的VampirePrime reasoner,支持查询应答和蕴涵以及一致性检查。v3语法分析器是由walkers语法分析器和词法分析器生成的。我们讨论了如何将原始的PSOA/PS语法重写为$LL(1)$语法,从而证明PSOA/PS可以被高效地解析。我们还提出了一个从psoaruleml到TPTP的语义保持映射,该映射通过规范化和转换阶段实现。我们将翻译和查询代码打包到restfulweb服务中,以方便远程访问,并提供一个演示网站。

zbMATH中的参考文献(参考 1文章 参考)

显示结果1/1。
按年份排序(引文)

  1. Zou,Gen;Peter Paul,Reuben;Boley,Harold;Riazanov,Alexandre:PSOA2TPTP:PSOA2TPP:PSOARuleML与TPTP reasoners互操作的参考翻译程序(2012)ioport公司