| "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." [lang: en] |
| •owl:Thing |
| •DomainConcept |
| •Food |
| •PizzaTopping |
| •CheeseTopping |
| •CheeseyVegetableTopping |
| •VegetableTopping |
| •CheeseyVegetableTopping |