PSOA RuleML: Integrated Object-Relational Data and Rules

  • Harold Boley
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9203)


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).


Runtime System Ground Atom Positional Argument Branch Line Intermediate Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



Many thanks go to Gen Zou for helpful discussions on multiple drafts of this paper and for spearheading the PSOATransRun implementation. I want to thank Tara Athan, Sadnan Al Manir, Alexandre Riazanov, and Robert Kirby for reviewing earlier partial versions. I extend my thanks to Michael Genesereth, Sudhir Agarwal, Abhijeet Mohapatra, and Eric Kao for comments on a PSOA RuleML presentation in the Computational Logic Seminar, and to Michael Genesereth and the entire Stanford Logic Group for hosting my research stay. My thankfulness goes to Richard Waldinger for comments at various occasions, and for hosting my recent SRI visits. The 11th Reasoning Web Summer School (RW 2015) reviewer and organizers are thanked for early feedback and for running this event. NSERC is thanked for its support through Discovery Grants.


  1. 1.
    Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741–843 (1995)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Boley, H., Kifer, M.: RIF Basic Logic Dialect (2nd edn), February 2013 W3C Recommendation.
  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). (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)MathSciNetCrossRefzbMATHGoogle 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., (2014)Google Scholar
  11. 11.
    Crockford, D.: Introducing JSON (May 2009) Format home page.
  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) CrossRefzbMATHGoogle 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,
  16. 16.
    Brunnbauer, M.: RDF2RDB - convert RDF data to relational databases (2012).
  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)CrossRefzbMATHGoogle 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