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

Download
  1. (PDF, 397 KB)
  2. Get@NRC: PSOA2TPTP: a reference translator for interoperating PSOA RuleML with TPTP reasoners (Opens in a new window)
DOIResolve DOI: http://doi.org/10.1007/978-3-642-32689-9_22
AuthorSearch for: ; Search for: ; Search for: ; Search for:
TypeArticle
Proceedings titleRules on the Web: Research and Applications - Proceedings of the 6th International Symposium on Rules, RuleML 2012
Series titleLecture Notes in Computer Science; Volume 7438
ConferenceRuleML2012 - The 6th International Symposium on Rules, August 27-29, 2012, Montpellier, France
ISSN0302-9743
ISBN978-3-642-32688-2
978-3-642-32689-9
Pages264279; # of pages: 16
AbstractPSOA 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.
Publication date
PublisherSpringer
LanguageEnglish
AffiliationInformation and Communication Technologies; National Research Council Canada
Peer reviewedYes
NPARC number20861003
Export citationExport as RIS
Report a correctionReport a correction
Record identifierde5acf87-0778-4f67-a397-cebb25b2c1b2
Record created2012-10-25
Record modified2016-05-09
Bookmark and share
  • Share this page with Facebook (Opens in a new window)
  • Share this page with Twitter (Opens in a new window)
  • Share this page with Google+ (Opens in a new window)
  • Share this page with Delicious (Opens in a new window)