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

The Semantic Integration of Object-Oriented and Relational Knowledge in PSOA RuleML

Harold BoleyUniversity of New Brunswick and National Research Council Canada[Home Page]

Notice:  Hosted by Stijn Heymans

Date:  2012-04-05 at 16:00

Location:  EJ228 (SRI E building)  (Directions)

   Abstract

In F-logic and W3C's Rule Interchange Format (RIF), objects (frames) are separate from function and relation (predicate) applications. In POSL and RuleML, these fundamental notions are integrated by permitting applications with optional object identifiers and, orthogonally, arguments that are positional or slotted. The resulting positional-slotted, object-applicative (psoa) terms are given a novel formalization, reducing the number of RIF terms by generalizing its positional and slotted (named-argument) terms as well as its frame terms and class memberships. Like multi-slot frames accommodate for (Web-)distributed slotted descriptions of the same object identifier (IRI), multi-tuple psoa terms do for positional descriptions. The syntax and semantics of these integrated terms and rules over them are defined as PSOA RuleML in the style of RIF-BLD. The semantics provides a novel first-order model-theoretic foundation for object-relational knowledge, blending slot distribution, as in F-logic and RIF (as well as tuple distribution), with integrated psoa terms, as in POSL and RuleML.

   Bio for Harold Boley

Dr. Harold Boley is adjunct professor at the Faculty of Computer Science, University of New Brunswick, and leader of the Semantic Web Laboratory at the National Research Council Canada. His specification of Web rules through RuleML has found broad uptake. It has been combined with OWL to SWRL and become the main input to the W3C Recommendation RIF. His work on Rule Responder has enabled deployed distributed applications for the Social Semantic Web.

   Note for Visitors to SRI

Please arrive at least 10 minutes early in order to sign in and be escorted to the conference room. SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the visitors lot in front of Building E, and should follow the instructions by the lobby phone to be escorted to the meeting room. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page.

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