OWL language construct, property owl:disjointWith, is used to specify two classes are disjoint (i.e, these two classes do not share any comment element), for example, Man and Woman are disjoint. In fact, this property is redundant. Use RDF-based syntax, define two classes, Man and Woman, and make sure they are disjoint. Do not use owl:disjointWith. OWL language construct, property owl:disjointWith, is used to specify two classes are disjoint (i.e, these two classes do not share any comment element), for example, Man and Woman are disjoint. In fact, this property is redundant. Use RDF-based syntax, define two classes, Man and Woman, and make sure they are disjoint. Do not use owl:disjointWith