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.

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

A Predicate-Ordered Logic for Knowledge Representation on the Web

Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs

Automated reasoning support for Standpoint-OWL 2

Finite model reasoning over existential rules

Knowledge Object Modeling

View-Based Axiomatic Reasoning for the Weak Memory Models PSO and SRA

An Extension To Owl With General Rules

Object-oriented semantics of English in natural language understanding system

Knowledge Organization Systems (KOS) in the Semantic Web: A Multi-Dimensional Review

Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+

Datalog rewritability and data complexity of ALCHOIQ with closed predicates

Predicate Logic as a Modelling Language: The IDP System

The ERA of FOLE: Foundation

The Datalog(Dl) Combination Of Deduction Rules And Description Logics

Object-Oriented Modeling of Rule-Based Programming

Exploiting Ontological Reasoning In Argumentation Based Multi-Agent Collaborative Classification

The SysML/KAOS Domain Modeling Approach

Relational Approach to Knowledge Engineering for POMDP-based Assistance Systems as a Translation of a Psychological Model

Standpoint Linear Temporal Logic

Pointwise-in-Time Explanation for Linear Temporal Logic Rules