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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boley, H.: A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules. In: Bassiliades, N., et al. (eds.) RuleML 2011 - Europe. LNCS, vol. 6826, pp. 194–211. Springer, Heidelberg (2011)
Boley, H.: Integrating Positional and Slotted Knowledge on the Semantic Web. Journal of Emerging Technologies in Web Intelligence 4(2), 343–353 (2010), http://ojs.academypublisher.com/index.php/jetwi/article/view/0204343353
Boley, H., Kifer, M.: A Guide to the Basic Logic Dialect for Rule Interchange on the Web. IEEE Transactions on Knowledge and Data Engineering 22(11), 1593–1608 (2010)
Riazanov, A., Voronkov, A.: The Design and Implementation of Vampire. AI Communications 15(2-3), 91–110 (2002)
Riazanov, A., Aragao, M.A.: Incremental Query Rewriting with Resolution. In: Canadian Semantic Web II (2010)
Al Manir, M.S., Riazanov, A., Boley, H., Baker, C.J.O.: PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol. 7438, pp. 280–288. Springer, Heidelberg (2012)
Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D. (eds.): Compilers: Principles, Techniques, and Tools, 2nd edn. Pearson/Addison Wesley, Boston (2007)
Zou, G., Peter-Paul, R.: PSOA2TPTP: Designing and Prototyping a Translator from PSOA RuleML to TPTP Format. Technical report, http://psoa2tptp.googlecode.com/files/PSOA2TPTP_Report_v1.0.pdf
Polleres, A., Boley, H., Kifer, M.: RIF Datatypes and Built-ins 1.0 (June 2010), W3C Recommendation, http://www.w3.org/TR/rif-dtb
Sutcliffe, G.: The TPTP Problem Library, http://www.cs.miami.edu/~tptp/TPTP/TR/TPTPTR.shtml
Fielding, R.T.: Architectural Styles and the Design of Network-based Software Architectures. PhD thesis, University of California, Irvine, Irvine, California, USA (2000)
Riazanov, A., Rose, G.W., Klein, A., Forster, A.J., Baker, C.J.O., Shaban-Nejad, A., Buckeridge, D.L.: Towards Clinical Intelligence with SADI Semantic Web Services: a Case Study with Hospital-Acquired Infections Data. In: Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences, SWAT4LS 2011, pp. 106–113. ACM, New York (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zou, G., Peter-Paul, R., Boley, H., Riazanov, A. (2012). PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners. In: Bikakis, A., Giurca, A. (eds) Rules on the Web: Research and Applications. RuleML 2012. Lecture Notes in Computer Science, vol 7438. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32689-9_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-32689-9_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32688-2
Online ISBN: 978-3-642-32689-9
eBook Packages: Computer ScienceComputer Science (R0)