| This class will be inconsistent. This is because we have given it 2 disjoint parents, which means it could never have any members (as nothing can simultaneously be a CheeseTopping and a VegetableTopping). NB Called ProbeInconsistentTopping in the ProtegeOWL Tutorial. |
| •owl:Thing |
| •DomainConcept |
| •PizzaTopping |
| •CheeseTopping |
| •CheeseyVegetableTopping |
| •VegetableTopping |
| •CheeseyVegetableTopping |
Class(CheeseyVegetableTopping partial CheeseTopping
VegetableTopping)