PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9202)

Abstract

PSOA2Prolog consists of a multi-step source-to-source normalizer followed by a mapper to a pure (Horn) subset of ISO Prolog. We show the semantics preservation of the steps. Composing PSOA2Prolog and XSB Prolog, a fast Prolog engine, we achieved a novel instantiation of our PSOATransRun framework. We evaluated this interoperation and implementation technique with a suite of 30 test cases using 90 queries, and found a considerable speed-up compared to our earlier instantiation.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42(4), 741–843 (1995)MathSciNetCrossRefGoogle Scholar
  2. 2.
    Yang, G., Kifer, M.: Reasoning about anonymous resources and meta statements on the semantic web. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 69–97. Springer, Heidelberg (2003) CrossRefGoogle Scholar
  3. 3.
    Boley, H., Kifer, M.: RIF Basic Logic Dialect, 2nd edn (February 2013). W3C Recommendation. http://www.w3.org/TR/rif-bld
  4. 4.
    Boley, H.: A RIF-style semantics for RuleML-integrated positional-slotted, object-applicative rules. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011 - Europe. LNCS, vol. 6826, pp. 194–211. Springer, Heidelberg (2011) CrossRefGoogle Scholar
  5. 5.
    Yang, G., Kifer, M.: FLORA: implementing an efficient DOOD system using a tabling logic engine. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 1078–1093. Springer, Heidelberg (2000) CrossRefGoogle Scholar
  6. 6.
    Kifer, M., Yang, G., Wan, H., Zhao, C.: Flora-2: User Manual. http://flora.sourceforge.net/
  7. 7.
    Baral, C., Liang, S.: From knowledge represented in frame-based languages to declarative representation and reasoning via ASP. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) KR, AAAI Press (2012)Google Scholar
  8. 8.
    ISO/IEC 13211–1: Prolog - part 1: General core (1995)Google Scholar
  9. 9.
    Deransart, P., Ed-Dbali, A., Cervoni, L.: Prolog: The Standard. Springer (1996)Google Scholar
  10. 10.
    Zou, G., Peter-Paul, R., Boley, H., Riazanov, A.: PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers. In: Ait-Kaci, H., Hu, Y.J., Nalepa, G.J., Palmirani, M., Roman, D. (eds.) Proceedings of the RuleML2012@ECAI Challenge, at the 6th International Symposium on Rules, CEUR-874, August 2012Google Scholar
  11. 11.
    Polleres, A., Boley, H., Kifer, M.: RIF Datatypes and Built-ins 1.0, 2nd edn (February 2013). W3C Recommendation. http://www.w3.org/TR/2013/REC-rif-dtb-20130205/
  12. 12.
    Boley, H.: PSOA RuleML: integrated object-relational data and rules. In: Reasoning Web. Springer (2015)Google Scholar
  13. 13.
    Chang, C.L., Lee, R.C.T.: Symbolic Logic and mechanical Theorem Proving. Academic Press (1973)Google Scholar
  14. 14.
    Zou, G., Peter-Paul, R., Boley, H., Riazanov, A.: PSOA2TPTP: a reference translator for interoperating PSOA RuleML with TPTP reasoners. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol. 7438, pp. 264–279. Springer, Heidelberg (2012) CrossRefGoogle Scholar
  15. 15.
    Calì, A., Gottlob, G., Lukasiewicz, T.: A general Datalog-based framework for tractable query answering over ontologies. Journal of Web Semantics 14, 57–83 (2012)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Faculty of Computer ScienceUniversity of New BrunswickFrederictonCanada

Personalised recommendations