8
Additional “Sugar” Features that are
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          (* with tractability, known techniques).
•E.g., much or all of the expressiveness in the following. 
•
•RDF facts
•Frame syntax
•Slotted syntax
•Lists
•(N-ary predicates if restrict core to 2-ary)
•RDFS-DL simple ontologies
•Datatyping:  basic