http://www.co-ode.org/ontologies/pizza/pizza.owl#SpicyPizzaEquivalent
An alternative definition for the SpicyPizza which does away with needing a definition of SpicyTopping and uses a slightly more complicated restriction: Pizzas that have at least one topping that is both a PizzaTopping and has spiciness hot are members of this class.
Instances of pizza.owl:SpicyPizzaEquivalent can have the following properties:
| PROPERTY | TYPE | DESCRIPTION | RANGE |
|---|
@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#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
:SpicyPizzaEquivalent a owl:Class ;
rdfs:label "SpicyPizzaEquivalent"@en,
"PizzaTemperadaEquivalente"@pt ;
rdfs:comment "An alternative definition for the SpicyPizza which does away with needing a definition of SpicyTopping and uses a slightly more complicated restriction: Pizzas that have at least one topping that is both a PizzaTopping and has spiciness hot are members of this class."@en ;
owl:equivalentClass [ a owl:Class ;
owl:intersectionOf ( :Pizza [ a owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom [ a owl:Class ;
owl:intersectionOf ( :PizzaTopping [ a owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Hot ] ) ] ] ) ] ;
skos:prefLabel "Spicy Pizza Equivalent"@en .