APPROVED Jeremy J. Carroll The owl:disjointWith loop is not in OWL DL. Classes that are disjoint with themselves are necessarily empty.