Most other wish-list features
can
be expressively reduced to this core KR abstraction, for which Situated Ordinary Logic Programs can provide the
semantics theory
OWL: large subset, ή
OWL ontology integration via overlap of LP with Description Logic
(e.g., use Description Logic Programs V2,
with integrity
constraints, skolemization, equality, passing of derived facts)
SWRL: large subset
Production Rules cf.
PRRuleML: large
subset (Production
Logic Programs)
Decision
trees
Decision
tables
Sequential rules cf. PRR: [**probable, need to understand better]
Prolog: the pure subset (which is large)
SQL relational databases:
large subset (incl. all core)
Event-Condition-Action
rules: large subset