http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseyVegetableTopping
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.
Instances of pizza.owl:CheeseyVegetableTopping can have the following properties:
| PROPERTY | TYPE | DESCRIPTION | RANGE |
|---|---|---|---|
| From class pizza.owl:PizzaTopping | |||
| pizza.owl:isToppingOf | owl:FunctionalProperty | Any given instance of topping should only be added to a single pizza (no cheap half-measures on our pizzas) | pizza.owl:Pizza |
| From class pizza.owl:Food | |||
| pizza.owl:hasIngredient | owl:ObjectProperty | NB Transitive - the ingredients of ingredients are ingredients of the whole | pizza.owl:Food |
| pizza.owl:isIngredientOf | owl:ObjectProperty | The inverse property tree to hasIngredient - all subproperties and attributes of the properties should reflect those under hasIngredient. | pizza.owl:Food |
| From class owl:Thing | |||
| pizza.owl:hasCountryOfOrigin | owl:ObjectProperty | owl:Thing | |
| pizza.owl:hasSpiciness | owl:FunctionalProperty | A property created to be used with the ValuePartition - Spiciness. | pizza.owl:Spiciness |
@prefix : <http://www.co-ode.org/ontologies/pizza/pizza.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
:CheeseyVegetableTopping a owl:Class ;
rdfs:label "CoberturaDeQueijoComVegetais"@pt ;
rdfs:comment "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."@en ;
rdfs:subClassOf :CheeseTopping,
:VegetableTopping .