PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers.
Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov · 2012
Abstract. PSOA RuleML is an object-relational rule language general-izing POSL, OO RuleML, F-logic, and RIF-BLD. In PSOA RuleML, the notion of positional-slotted, object-applicative (psoa) terms is used as a generalization of: (1) positional-slotted terms in POSL and OO RuleML and (2) frame and class-membership terms in F-logic and RIF-BLD. We demonstrate an online PSOA RuleML reasoning service, PSOATransRun, consisting of a translator and an execution engine. The translator, PSOA2TPTP, maps knowledge bases and queries in the PSOA RuleML presentation syntax to the popular TPTP interchange language, which is supported by many first-order logic theorem provers. The trans-lated documents are then executed by the open-source VampirePrime reasoner to perform query answering. In our implementation, we use the ANTLR v3 parser generator tool to build the translator based on the grammars we developed. We wrap the translator and execution engine as resources into a RESTful Web API for convenient access. The presen-tation demonstrates PSOATransRun with a suite of examples that also constitute an online-interactive introduction to PSOA RuleML. 1