6
Kinds of Rules & Rule Systems
Translatable/Reducible to Kernel
•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
•