A RIF-style semantics for RuleML-integrated positional-slotted, object-applicative rules

Download
  1. (PDF, 768 KB)
  2. Get@NRC: A RIF-style semantics for RuleML-integrated positional-slotted, object-applicative rules (Opens in a new window)
DOIResolve DOI: http://doi.org/10.1007/978-3-642-22546-8_16
AuthorSearch for:
TypeBook Chapter
Proceedings titleRule-based Reasoning, Programming, and Applications : 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
Series titleLecture Notes In Computer Science; Volume 6826
Conference5th International Symposium on Rules : Research Based and Industry Focused (RuleML 2011), July 19-21, 2011, Barcelona, Spain
ISSN0302-9743
ISBN978-3-642-22545-1
978-3-642-22546-8
Pages194211; # of pages: 18
AbstractIn F-logic and RIF, objects (frames) are defined entirely separately 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 do for slotted descriptions, multi-tuple psoa terms accommodate for (Web-)distributed positional descriptions of the same object identifier (IRI). 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 frame triplification, as in F-logic and RIF, with integrated psoa terms, as in POSL and RuleML.
Publication date
PublisherSpringer Berlin Heidelberg
LanguageEnglish
AffiliationNational Research Council Canada; NRC Institute for Information Technology
Peer reviewedYes
NPARC number19663201
Export citationExport as RIS
Report a correctionReport a correction
Record identifier3adb3eaa-b5e0-4c3e-9e70-1cab7ff7cd7e
Record created2012-03-20
Record modified2016-06-17
Bookmark and share
  • Share this page with Facebook (Opens in a new window)
  • Share this page with Twitter (Opens in a new window)
  • Share this page with Google+ (Opens in a new window)
  • Share this page with Delicious (Opens in a new window)