Classification of rule paradigms
This page was initiated by the corresponding breakout session at the First F2F. See 2005-12-09-protocol.txt for the protocol.
This page (and the related task force) should perhaps be renamed to something like "RuleClassification" or "RuleOntology" or "RuleSystemOntology" -- SandroHawke
Discriminators for an OWL rules ontology
- open vs. closed
- FOL vs. other semantics
- forward/backward chaining
- procedural vs. declarative
- ... (please add)
Anybody who wants to come forward with a draft ontology?