Subset of OWL DL can be transformed into equivalent rules (and vice versa)
For example (trivially):
SubClassOf(C D)
Implies(Antecedent(C(I-variable(x1))) Consequent(D(I-variable(x1))))
Peter F. Patel-Schneider & Ian Horrocks
10 of 24