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

Authors:
Gen Zou;Reuben Peter-Paul;Harold Boley;Alexandre Riazanov
Affiliations:
Faculty of Computer Science, University of New Brunswick, Fredericton, Canada;Faculty of Computer Science, University of New Brunswick, Fredericton, Canada;Faculty of Computer Science, University of New Brunswick, Fredericton, Canada, National Research Council of Canada, Canada;Department of Computer Science and Applied Statistics, UNB, Saint John, Canada
Venue:
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Year:
2012

Citing 7
Cited 1

Architectural styles and the design of network-based software architectures

Architectural styles and the design of network-based software architectures
Compilers: Principles, Techniques, and Tools (2nd Edition)

Compilers: Principles, Techniques, and Tools (2nd Edition)
The design and implementation of VAMPIRE

AI Communications - CASC
A Guide to the Basic Logic Dialect for Rule Interchange on the Web

IEEE Transactions on Knowledge and Data Engineering
A RIF-style semantics for ruleML-integrated positional-slotted, object-applicative rules

RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Towards clinical intelligence with SADI semantic web services: a case study with hospital-acquired infections data

Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences
PSOA RuleML API: a tool for processing abstract and concrete syntaxes

RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications

PSOA RuleML API: a tool for processing abstract and concrete syntaxes

RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications

Quantified Score

Hi-index	0.00

Visualization

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.