Rules -v- Axioms


Subset of OWL DL can be transformed into equivalent rules (and vice versa)

For example (trivially):

SubClassOf(C D)
is equivalent to
Implies(Antecedent(C(I-variable(x1)))
        Consequent(D(I-variable(x1))))