We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Artificial Intelligence

Title: Perspectival Knowledge in PSOA RuleML: Representation, Model Theory, and Translation

Abstract: In Positional-Slotted Object-Applicative (PSOA) RuleML, a predicate application (atom) can have an Object IDentifier (OID) and descriptors that may be positional arguments (tuples) or attribute-value pairs (slots). PSOA RuleML explicitly specifies for each descriptor whether it is to be interpreted under the perspective of the predicate in whose scope it occurs. This predicate-dependency dimension refines the space between oidless, positional atoms (relationships) and oidful, slotted atoms (framepoints): While relationships use only a predicate-scope-sensitive (predicate-dependent) tuple and framepoints use only predicate-scope-insensitive (predicate-independent) slots, PSOA uses a systematics of orthogonal constructs also permitting atoms with (predicate-)independent tuples and atoms with (predicate-)dependent slots. This supports data and knowledge representation where a slot attribute can have different values depending on the predicate. PSOA thus extends object-oriented multi-membership and multiple inheritance. Based on objectification, PSOA laws are given: Besides unscoping and centralization, the semantic restriction and transformation of describution permits rescoping of one atom's independent descriptors to another atom with the same OID but a different predicate. For inheritance, default descriptors are realized by rules. On top of a metamodel and a Grailog visualization, PSOA's atom systematics for facts, queries, and rules is explained. The presentation and (XML-)serialization syntaxes of PSOA RuleML are introduced. Its model-theoretic semantics is formalized by extending the interpretation functions for dependent descriptors. The open-source PSOATransRun system realizes PSOA RuleML by a translator to runtime predicates, including for dependent tuples (prdtupterm) and slots (prdsloterm). Our tests show efficiency advantages of dependent and tupled modeling.
Comments: 39 pages, 5 figures, 2 tables; updates for PSOATransRun 1.3.1 to 1.4.2; refined terminology and metamodel
Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB); Programming Languages (cs.PL)
ACM classes: D.1.5; D.1.6; D.2.12; D.3.1; E.1; F.3.3; F.4.1; H.2.1; H.2.3; H.2.4; I.1.1; I.2.3; I.2.4
Cite as: arXiv:1712.02869 [cs.AI]
  (or arXiv:1712.02869v3 [cs.AI] for this version)

Submission history

From: Harold Boley [view email]
[v1] Thu, 7 Dec 2017 21:36:21 GMT (147kb,D)
[v2] Wed, 2 May 2018 00:19:21 GMT (151kb,D)
[v3] Sun, 21 Jul 2019 17:58:15 GMT (152kb,D)

Link back to: arXiv, form interface, contact.