PSOA2TPTP

PSOA2TPTP:一种与TPTP推理器相结合的PSOA规则库的参考翻译器PSOA RUNMLL是最近结合关系和面向对象建模的规则语言。为了为PSOA规则ML提供推理服务,我们实现了一个引用翻译器,PSOA2TPTP,将PSOA规则表示语法(PSOA/PS)中的知识库和查询映射到流行的TPTP格式,由许多一阶逻辑推理器支持。特别是,PSOA规则推理已经成为可用的开源VAMPIRPHEY推理机,使查询应答和蕴涵以及一致性检查。翻译器,目前由一个词素分析器,一个解析器,和树行者,是由ANTLR V3分析器生成器工具从我们开发的语法。我们讨论了如何将原来的PSOA/PS语法重写为$LL(1)$语法,从而证明PSOA/PS可以有效地解析。我们还提出了语义保持映射从PSOA规则ML到TPTP通过归一化和平移阶段。我们将翻译和查询代码打包到REST Web服务中,方便远程访问,并提供演示网站。

ZBMaCT中的参考文献(1篇文章中提到)

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

  1. 邹,艮;Peter Paul,Reuben;博利,哈罗德;里亚扎诺夫,亚历山大:PSOA2TPTP:一个用于翻译PSOA规则与TPTP推理机的参考译码器(2012)伊波尔特