Arvshierakin är uttömmande och dessutom kan ett objekt endast tillhöra en klass på given nivå. Därför bör alla klasser definiera sina subklasser i ett owl:disjointUnionOf-statement. Detta innebär att subklasserna är uttömmande samt disjoint (dvs inget objekt kan tillhöra mer än en klass på varje nivå).
Arvshierakin är uttömmande och dessutom kan ett objekt endast tillhöra en klass på given nivå. Därför bör alla klasser definiera sina subklasser i ett owl:disjointUnionOf-statement. Detta innebär att subklasserna är uttömmande samt disjoint (dvs inget objekt kan tillhöra mer än en klass på varje nivå).