RuleML-Integrated Positional-Slotted, Object-Applicative Terms and Rules with a

Description: SEMINAR on MONDAY AUGUST 8, 9:30am, TASC1 9204 EAST

RuleML-Integrated Positional-Slotted, Object-Applicative Terms and Rules with a RIF-Style First-Order Model-Theoretic Semantics

Harold Boley
Institute for Information Technology, National Research Council;
Faculty of Computer Science, University of New Brunswick, Canada

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, Institute for Information Technology. 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.

ABSTRACT

In F-logic and W3C's Rule Interchange Format (RIF), objects (feature structures, frames) are separate from function and 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, blending slot distribution, as in F-logic and RIF (as well as tuple distribution), with integrated psoa terms, as in POSL and RuleML.


Paper:

http://www.cs.unb.ca/~boley/papers/SemanticsPsoaRules.pdf
Date: Monday, August 8, 2011
Time: 9:30am-10:30am
Duration: 60 minutes
Priority: Medium
Access: Public
Created by: cs-ugrad
Updated: Friday, August 5, 2011 1:40pm

Printer Friendly

Public iCal file URL: https://calendar.cs.sfu.ca/publish.php/public.ics