| "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 |
| •PizzaTopping |
| •CheeseTopping |
| •CheeseyVegetableTopping |
| •VegetableTopping |
| •CheeseyVegetableTopping |
| rdfs:label | "CoberturaDeQueijoComVegetais" [lang: pt] |
Class(CheeseyVegetableTopping partial VegetableTopping
CheeseTopping)