PSOA RuleML: Integrated Object-Relational Data and Rules

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

[1]  Harold Boley,et al.  Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules , 2013, RuleML.

[2]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[3]  John W. Lloyd,et al.  Foundations of Logic Programming, 1st Edition , 1984 .

[4]  Gen Zou.  GeospatialRules: A Datalog+ RuleML Rulebase for Geospatial Reasoning , 2014, Challenge+DC@RuleML.

[5]  Harold Boley,et al.  The MYNG 1.01 Suite for Deliberation RuleML 1.01: Taming the Language Lattice , 2014, Challenge+DC@RuleML.

[6]  Geoff Sutcliffe.  The TPTP Problem Library and Associated Infrastructure , 2009, Journal of Automated Reasoning.

[7]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[8]  Stefano Spaccapietra,et al.  Journal on Data Semantics I , 2003, Lecture Notes in Computer Science.

[9]  Harold Boley,et al.  Rule-Based Exploration of Structured Data in the Browser , 2015, RuleML.

[10]  Harold Boley,et al.  The OO jDREW Reference Implementation of RuleML , 2005, RuleML.

[11]  Harold Boley.  A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules , 2011, RuleML Europe.

[12]  Michael Kifer,et al.  Reasoning about Anonymous Resources and Meta Statements on the Semantic Web , 2003, J. Data Semant..

[13]  Giorgio Orsi,et al.  Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/- , 2015, RuleML.

[14]  James A. Hendler,et al.  N3Logic: A logical framework for the World Wide Web , 2007, Theory and Practice of Logic Programming.

[15]  Michael Hanus,et al.  Curry: an integrated functional logic language (version 0 , 2003 .

[16]  Harold Boley,et al.  PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes , 2012, RuleML.

[17]  Harold Boley,et al.  Integrating Positional and Slotted Knowledge on the Semantic Web , 2010 .

[18]  Alan J. Forster,et al.  Towards clinical intelligence with SADI semantic web services: a case study with hospital-acquired infections data , 2011, SWAT4LS.

[19]  Harold Boley,et al.  PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners , 2012, RuleML.

[20]  Harold Boley,et al.  PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog , 2015, RuleML.