International Workshop on Rules and Rule Markup Languages for the Semantic Web

RuleML 2011: Rule-Based Reasoning, Programming, and Applications pp 194-211

A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules

  • Harold Boley
Conference paper

DOI: 10.1007/978-3-642-22546-8_16

Volume 6826 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Boley H. (2011) A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules. In: Bassiliades N., Governatori G., Paschke A. (eds) Rule-Based Reasoning, Programming, and Applications. RuleML 2011. Lecture Notes in Computer Science, vol 6826. Springer, Berlin, Heidelberg

Abstract

In 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 accommodate for (Web-)distributed slotted descriptions of the same object identifier (IRI), multi-tuple psoa terms (e.g., shelves) 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 frame slotribution, as in F-logic and RIF (as well as shelf tupribution) with integrated psoa terms, as in POSL and RuleML.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Harold Boley
    • 1
  1. 1.Institute for Information TechnologyNational Research Council of CanadaFrederictonCanada