Classification of rule paradigms
I suspect that this page is now obsolete as it has been moved to Rulesystem Arrangement Framework? (can someone clarify?) (PascalHitzler)
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
- non-monotonic
- forward/backward chaining
- procedural vs. declarative
- decidability
- complexity
- modality/intentionality
- ... (please add)
Anybody who wants to come forward with a draft ontology?