• Kernel based on logical KR
– Semantics, syntax, layering: for that kernel
– Rudimentary rule management: e.g.,
queries, answers, premises, conclusions,
updates to premises, ruleset definition, importation of rules, simple
versioning, simple provenance
•Use Cases
from Business Processes, Services
– Policies, in particular
– Support Semantic Web Services requirements,
in particular
• Integrate
Rules and Ontologies
– Interoperate
with OWL, in particular
– Represent Ontologies as Rules, in particular