:Paul a [ a owl:Restriction ;
owl:onProperty :ownsMovie ;
owl:someValuesFrom :AntonioBanderasMovie ] .
We can define the set of people who own seven or more movies using owl:minCardinality:
JamesDeanMovie owl:disjointWith JudiDenchMovie .
JamesDeanMovie owl:disjointWith AntonioBanderasMovie . JudyGarlandMovie owl:disjointWith TomCruiseMovie .
Now we know that Paul has three James Dean movies and at least one movie from each of the other actors named here. Furthermore, none of these movies appears twice, since all of the sets are disjoint. An inference engine can confirm that Rocky is justified in counting to seven movies, and
:Paul a :SevenMovieOwner .
|∃ ownsMovie some AntonioBanderasMovie|
≡ Seven movie owner
Just as we had owl:AllDifferent as a way to specify that several individuals are mutually distinct, we could have something like owl:AllDisjoint to indicate that a set of classes are mutually disjoint. As it happens, the OWL standard did not include such a construct, though some proposals for extensions to OWL include such a facility.