The NRC Publications Archive is now operational; however, not all the features of the site are available at this time.
The following features remain unavailable:
- Viewing/Downloading of full text publications
NRC is currently working to restore these features and we will update this notice as these features become available. Thank you for your patience.
PSOA2TPTP: a reference translator for interoperating PSOA RuleML with TPTP reasoners
; Zou, Gen
; Peter-Paul, Reuben
; Boley, Harold
Information and Communication Technologies; National Research Council Canada
RuleML2012 - The 6th International Symposium on Rules, August 27-29, 2012, Montpellier, France
Rules on the Web: Research and Applications - Proceedings of the 6th International Symposium on Rules, RuleML 2012
Lecture Notes in Computer Science
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.