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