TY  - CONF
ID  - 20861003
AU  - Zou, Gen
AU  - Peter-Paul, Reuben
AU  - Boley, Harold
AU  - Riazanov, Alexandre
T1  - PSOA2TPTP: a reference translator for interoperating PSOA RuleML with TPTP reasoners
C8  - Rules on the Web: Research and Applications - Proceedings of the 6th International Symposium on Rules, RuleML 2012
T3  - Lecture Notes in Computer Science
T3  - RuleML2012 - The 6th International Symposium on Rules, August 27-29, 2012, Montpellier, France
PB  - Springer
SP  - 264
EP  - 279
PY  - 2012
N2  - PSOA RuleML is a recently specified rule language combining relational and object-oriented modeling. In order to provide reasoning services for PSOA RuleML, we have implemented a reference translator, PSOA2TPTP, to map knowledge bases and queries in the PSOA RuleML presentation syntax (PSOA/PS) to the popular TPTP format, supported by many first-order logic reasoners. In particular, PSOA RuleML reasoning has become available using the open-source VampirePrime reasoner, enabling query answering and entailment as well as consistency checking. The translator, currently composed of a lexer, a parser, and tree walkers, is generated by the ANTLR v3 parser generator tool from the grammars we developed. We discuss how to rewrite the original PSOA/PS grammar into an LL(1) grammar, thus demonstrating that PSOA/PS can be parsed efficiently. We also present a semantics-preserving mapping from PSOA RuleML to TPTP through a normalization and a translation phase. We wrap the translation and querying code into RESTful Web services for convenient remote access and provide a demo Web site.
DO  - http://dx.doi.org/10.1007/978-3-642-32689-9_22
U3  - Information and Communication Technologies
U3  - Technologies de l'information et des communications (TIC-ICT)
U3  - National Research Council Canada
U3  - Conseil national de recherches Canada (CNRC-NRC)
SN  - 978-3-642-32688-2
ER  -