http://www.co-ode.org/ontologies/pizza/pizza.owl#RealItalianPizza
This defined class has conditions that are part of the definition: ie any Pizza that has the country of origin, Italy is a RealItalianPizza. It also has conditions that merely describe the members - that all RealItalianPizzas must only have ThinAndCrispy bases. In essence, all pizzas from Italy must have ThinAndCrispy bases.
Instances of pizza.owl:RealItalianPizza can have the following properties:
| PROPERTY | TYPE | DESCRIPTION | RANGE |
|---|---|---|---|
| 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 rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
:RealItalianPizza a owl:Class ;
rdfs:label "PizzaItalianaReal"@pt ;
rdfs:comment "This defined class has conditions that are part of the definition: ie any Pizza that has the country of origin, Italy is a RealItalianPizza. It also has conditions that merely describe the members - that all RealItalianPizzas must only have ThinAndCrispy bases. In essence, all pizzas from Italy must have ThinAndCrispy bases."@en ;
rdfs:subClassOf [ a owl:Restriction ;
owl:allValuesFrom :ThinAndCrispyBase ;
owl:onProperty :hasBase ] ;
owl:equivalentClass [ a owl:Class ;
owl:intersectionOf ( :Pizza [ a owl:Restriction ;
owl:hasValue :Italy ;
owl:onProperty :hasCountryOfOrigin ] ) ] .