Peter F. Patel-Schneider
I describe my view of desirable design goals for the RIF, treated as formal artifact, i.e., a language for rules. I compare these goals with the initial design goals for SWRL.
atom(args) ∧ ... ∧ atom(args) ⇒ atom(args) ∧ ... ∧ atom(args)where args are variables or OWL individual IDs or data literals,
parent(?x,?y) ∧ brother(?y,?z) ⇒ uncle(?x,?z)
Explicit Design Goals:
Implicit Design Goals (and non-Goals):
(Remember, these are mostly design goals for the RIF as a formal artifact.)
SWRL | RIF | Comments |
---|---|---|
Rule extension | Capture rules | Similar, but RIF is more general (and more vague) |
Simple extension of OWL DL | Accept RDF and OWL DL | Quite similar |
Simple syntax | Clear, formal, simple syntax | Identical |
Semantic extension | Clear, formal, simple semantics | Very similar |