Government of Canada
Symbol of the Government of Canada
 
 
 
 

PSOA2TPTP: a reference translator for interoperating PSOA RuleML with TPTP reasoners

 
 
Affiliation:
Information and Communication Technologies; National Research Council Canada
Language:
English
Type:
Conference publication
Conference:
RuleML2012 - The 6th International Symposium on Rules, August 27-29, 2012, Montpellier, France
Proceedings
Title:
Rules on the Web: Research and Applications - Proceedings of the 6th International Symposium on Rules, RuleML 2012
Series:
Lecture Notes in Computer Science
Date:
2012
Pages :
264-279
NPArC #:
20861003
Abstract:
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.
 
Bookmark and Share:
 
 
 
 
Link:
HTML Link: