Reasoning Web International Summer School

Reasoning Web 2015: Reasoning Web. Web Logic Rules pp 114-150

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9203) | Cite as

PSOA RuleML: Integrated Object-Relational Data and Rules

Chapter

Abstract

Object-relational combinations are reviewed with a focus on the integrated Positional-Slotted, Object-Applicative (PSOA) RuleML. PSOA RuleML permits a predicate application (atom) to be without or with an Object IDentifier (OID) – typed by the predicate as its class – and, orthogonally, the predicate’s arguments to be positional, slotted, or combined. This enables six uses of atoms, which are systematically developed employing examples in presentation syntaxes derived from RuleML/POSL and RIF-BLD, and visualized in Scratch Grailog. These atoms, asserted as facts, are retrieved by object-relational look-in queries. On top of such facts, PSOA rules and their inferential querying are explored, e.g. permitting F-logic-like frames derived from relational joins. A use case of bidirectional SQL-PSOA-SPARQL transformation (schema/ontology mapping) is shown. Objectification and the presentation plus (XML-)serialization syntaxes of PSOA RuleML are described. The first-order model-theoretic semantics is formalized, blending (OID-over-)slot distribution, as in RIF, with integrated psoa terms, as in RuleML. The PSOATransRun implementation is surveyed, translating PSOA RuleML to TPTP (PSOA2TPTP) or Prolog (PSOA2Prolog).

References

  1. 1.
    Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741–843 (1995)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Boley, H., Kifer, M.: RIF Basic Logic Dialect (2nd edn), February 2013 W3C Recommendation. http://www.w3.org/TR/rif-bld
  3. 3.
    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
  4. 4.
    Boley, H.: Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules. In: Morgenstern, L., Stefaneas, P., Lévy, F., Wyner, A., Paschke, A. (eds.) RuleML 2013. LNCS, vol. 8035, pp. 52–67. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  5. 5.
    Athan, T., Boley, H.: The MYNG 1.01 Suite for Deliberation RuleML 1.01: Taming the Language Lattice. In: Patkos, T., Wyner, A., Giurca, A., (eds.). Proceedings of the RuleML 2014 Challenge, at the 8th International Web Rule Symposium, Prague, Czech Republic, Volume 1211 of CEUR, August 2014Google Scholar
  6. 6.
    Hanus (ed.), M.: Curry: An Integrated Functional Logic Language (Vers. 0.8.3). http://www-ps.informatik.uni-kiel.de/currywiki/_media/documentation/report.pdf (February 2014)
  7. 7.
    Agarwal, S., Mohapatra, P., Genesereth, M., Boley, H.: Rule-based exploration of structured data in the browser. In: Bassiliades, N., et al. (eds.) RuleML 2015. LNCS, vol. 9202, pp. 161–175. Springer, Heidelberg (2015)CrossRefGoogle Scholar
  8. 8.
    Berners-Lee, T., Connolly, D., Kagal, L., Scharf, Y., Hendler, J.: N3Logic: a logical framework for the world wide web. Theor. Pract. Logic Program. (TPLP) 8(3), 249–269 (2008)MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Zou, G.: GeospatialRules: A Datalog+ RuleML Rulebase for Geospatial Reasoning. In: Patkos, T., Wyner, A., Giurca, A. (eds.) Challenge+DC@RuleML. Volume 1211 of CEUR Workshop Proceedings., CEUR-WS.org (2014)Google Scholar
  11. 11.
    Crockford, D.: Introducing JSON (May 2009) Format home page. http://json.org
  12. 12.
    Boley, H.: Integrating positional and slotted knowledge on the semantic web. J. Emerg. Technol. Web Intell. 4(2), 343–353 (2010)Google Scholar
  13. 13.
    Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, New York (1987) CrossRefMATHGoogle Scholar
  14. 14.
    Ball, M., Boley, H., Hirtle, D., Mei, J., Spencer, B.: The OO jDREW reference implementation of RuleML. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 218–223. Springer, Heidelberg (2005) CrossRefGoogle Scholar
  15. 15.
    Knublauch, H.: SPINMap: SPARQL-based Ontology Mapping with a Graphical Notation (April 2011) Composing the Semantic Web: A tool developer’s blog on ontology development for the Semantic Web and beyond, http://composing-the-semantic-web.blogspot.ca/2011/04/spinmap-sparql-based-ontology-mapping.html
  16. 16.
    Brunnbauer, M.: RDF2RDB - convert RDF data to relational databases (2012). http://www.netestate.de/en/software-development/rdf2rdb/
  17. 17.
    Das, S., Sundara, S., Cyganiak, R.: R2RML: RDB to RDF mapping language. World Wide Web Consortium, Recommendation REC-r2rml-20120927 (September 2012)Google Scholar
  18. 18.
    Yang, G., Kifer, M.: Reasoning about Anonymous Resources and Meta Statements. In: Spaccapietra, Stefano, March, Sal, Aberer, Karl (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 69–97. Springer, Heidelberg (2003) CrossRefGoogle Scholar
  19. 19.
    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
  20. 20.
    Zou, G., Boley, H.: PSOA2Prolog: object-relational rule interoperation and implementation by translation from PSOA RuleML to ISO prolog. In: Bassiliades, N., et al. (eds.) Rule Technologies: Foundations, Tools, and Applications. LNCS, vol. 9202, pp. 176–192. Springer, Heidelberg (2015)CrossRefGoogle Scholar
  21. 21.
    Sutcliffe, G.: The TPTP problem library and associated infrastructure. J. Autom. Reasoning 43(4), 337–362 (2009)CrossRefMATHGoogle Scholar
  22. 22.
    ISO/IEC 13211-1: Prolog - part 1: General core (1995)Google Scholar
  23. 23.
    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) CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Faculty of Computer ScienceUniversity of New BrunswickFrederictonCanada

Personalised recommendations