| Download | - View accepted manuscript: A RIF-style semantics for RuleML-integrated positional-slotted, object-applicative rules (PDF, 668 KiB)
|
|---|
| DOI | Resolve DOI: https://doi.org/10.1007/978-3-642-22546-8_16 |
|---|
| Author | Search for: Boley, Harold1 |
|---|
| Affiliation | - National Research Council of Canada. NRC Institute for Information Technology
|
|---|
| Format | Text, Book Chapter |
|---|
| Conference | 5th International Symposium on Rules: Research Based and Industry Focused (RuleML 2011), July 19-21, 2011, Barcelona, Spain |
|---|
| 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 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 | 2011-09-28 |
|---|
| Publisher | Springer Berlin Heidelberg |
|---|
| In | |
|---|
| Series | |
|---|
| Language | English |
|---|
| Peer reviewed | Yes |
|---|
| NPARC number | 19663201 |
|---|
| Export citation | Export as RIS |
|---|
| Report a correction | Report a correction (opens in a new tab) |
|---|
| Record identifier | 3adb3eaa-b5e0-4c3e-9e70-1cab7ff7cd7e |
|---|
| Record created | 2012-03-20 |
|---|
| Record modified | 2020-03-03 |
|---|
