Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

AIC Seminar Series

PSOA RuleML: Integrated Object-Relational Data and Rules

Harold BoleyFaculty of Computer Science, University of New Brunswick, Canada[Home Page]

Notice:  Hosted by Richard Waldinger

Date:  Tuesday, June 9th 2015 at 4:00pm

Location:  EK255 (SRI E building)  (Directions)


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, stored as facts, are retrieved by object-relational look-up querying. On top of such facts, PSOA rules and their inferential querying are explored, e.g. permitting F-logic-like frames derived on demand 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).

   Bio for Harold Boley

Dr. Harold Boley is adjunct professor at the Faculty of Computer Science, University of New Brunswick, Canada, and chair of RuleML Inc. His work with international colleagues includes the specification of Web rules through the RuleML family of languages. Deliberation RuleML 1.01 has been released, is used for Datalog+/-, and is applied to Rule-Based Data Access. RuleML has been combined with OWL to SWRL, has become the main input to the W3C Recommendation RIF, and has provided the foundation for OASIS LegalRuleML. His Rule Responder projects have enabled deployed distributed applications for the Social Semantic Web. His recent advances in data-plus-knowledge representation include the object-relational PSOA RuleML and the visualization framework Grailog. Harold is currently visiting the Stanford Logic Group.

   Note for Visitors to SRI

Please arrive at least 10 minutes early as you will need to sign in by following instructions by the lobby phone at Building E (or call Wilma Lenz at 650 859 4904, or Vicenta at Lopez at 650 859 5750). SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the parking lots off Fourth Street. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page. There are two entrances to SRI International located on Ravenswood Ave. Please check the Building E entrance signage.

SRI International
©2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy