@prefix : <http://www.semanticweb.org/nmg/ontologies/2024/6/untitled-ontology-5/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.semanticweb.org/nmg/ontologies/2024/6/untitled-ontology-5/> .
<http://www.ecs.soton.ac.uk/ontology/pizza/> rdf:type owl:Ontology .
#################################################################
# Object Properties
#################################################################
### http://www.ecs.soton.ac.uk/ontology/pizza/#hasBase
<http://www.ecs.soton.ac.uk/ontology/pizza/#hasBase> rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf <http://www.ecs.soton.ac.uk/ontology/pizza/#hasIngredient> ;
owl:inverseOf <http://www.ecs.soton.ac.uk/ontology/pizza/#isBaseOf> ;
rdf:type owl:FunctionalProperty ;
rdfs:domain <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza> ;
rdfs:range <http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaBase> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#hasIngredient
<http://www.ecs.soton.ac.uk/ontology/pizza/#hasIngredient> rdf:type owl:ObjectProperty ;
owl:inverseOf <http://www.ecs.soton.ac.uk/ontology/pizza/#isIngredientOf> ;
rdf:type owl:TransitiveProperty .
### http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness
<http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> rdf:type owl:ObjectProperty ,
owl:FunctionalProperty ;
rdfs:domain <http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaTopping> ;
rdfs:range <http://www.ecs.soton.ac.uk/ontology/pizza/#Spiciness> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf <http://www.ecs.soton.ac.uk/ontology/pizza/#hasIngredient> ;
owl:inverseOf <http://www.ecs.soton.ac.uk/ontology/pizza/#isToppingOf> ;
rdfs:domain <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza> ;
rdfs:range <http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaTopping> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#isBaseOf
<http://www.ecs.soton.ac.uk/ontology/pizza/#isBaseOf> rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf <http://www.ecs.soton.ac.uk/ontology/pizza/#isIngredientOf> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#isIngredientOf
<http://www.ecs.soton.ac.uk/ontology/pizza/#isIngredientOf> rdf:type owl:ObjectProperty ,
owl:TransitiveProperty .
### http://www.ecs.soton.ac.uk/ontology/pizza/#isToppingOf
<http://www.ecs.soton.ac.uk/ontology/pizza/#isToppingOf> rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf <http://www.ecs.soton.ac.uk/ontology/pizza/#isIngredientOf> .
#################################################################
# Data properties
#################################################################
### http://www.ecs.soton.ac.uk/ontology/pizza/#hasCalories
<http://www.ecs.soton.ac.uk/ontology/pizza/#hasCalories> rdf:type owl:DatatypeProperty ;
rdfs:domain <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza> ;
rdfs:range xsd:integer .
#################################################################
# Classes
#################################################################
### http://www.ecs.soton.ac.uk/ontology/pizza/BlandPizza
:BlandPizza rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza>
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:allValuesFrom [ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness>
]
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza> .
### http://www.ecs.soton.ac.uk/ontology/pizza/SlightlySpicyPizza
:SlightlySpicyPizza rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza>
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:someValuesFrom [ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MediumSpiciness>
]
]
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:allValuesFrom [ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom [ rdf:type owl:Class ;
owl:unionOf ( <http://www.ecs.soton.ac.uk/ontology/pizza/#MediumSpiciness>
<http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness>
)
]
]
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#AmericanHotPizza
<http://www.ecs.soton.ac.uk/ontology/pizza/#AmericanHotPizza> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#NamedPizza> ,
[ owl:intersectionOf ( [ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#JalapeñoPepperTopping>
]
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MozzarellaTopping>
]
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#PepperoniTopping>
]
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#TomatoSauceTopping>
]
) ;
rdf:type owl:Class
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasBase> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#RomanaBase>
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf ( <http://www.ecs.soton.ac.uk/ontology/pizza/#JalapeñoPepperTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#MozzarellaTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#PepperoniTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#TomatoSauceTopping>
)
]
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasCalories> ;
owl:hasValue 1010
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#AmericanPizza
<http://www.ecs.soton.ac.uk/ontology/pizza/#AmericanPizza> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#NamedPizza> ,
[ owl:intersectionOf ( [ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MozzarellaTopping>
]
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#PepperoniTopping>
]
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#TomatoSauceTopping>
]
) ;
rdf:type owl:Class
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasBase> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#ClassicBase>
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf ( <http://www.ecs.soton.ac.uk/ontology/pizza/#MozzarellaTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#PepperoniTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#TomatoSauceTopping>
)
]
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasCalories> ;
owl:hasValue 978
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#AnchovyTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#AnchovyTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#FishTopping> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#BasilTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#BasilTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#VegetableTopping> ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness>
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#Calabrese
<http://www.ecs.soton.ac.uk/ontology/pizza/#Calabrese> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#NamedPizza> ,
[ owl:intersectionOf ( [ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MozzarellaTopping>
]
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#NdujaTopping>
]
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#PestoSauceTopping>
]
) ;
rdf:type owl:Class
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasBase> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#CalabreseBase>
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf ( <http://www.ecs.soton.ac.uk/ontology/pizza/#MozzarellaTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#NdujaTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#PestoSauceTopping>
)
]
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasCalories> ;
owl:hasValue 1275
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#CalabreseBase
<http://www.ecs.soton.ac.uk/ontology/pizza/#CalabreseBase> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaBase> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#CheeseTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#CheeseTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaTopping> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#CheesyPizza
<http://www.ecs.soton.ac.uk/ontology/pizza/#CheesyPizza> rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza>
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#CheeseTopping>
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#ClassicBase
<http://www.ecs.soton.ac.uk/ontology/pizza/#ClassicBase> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaBase> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#DairyCheeseTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#DairyCheeseTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#CheeseTopping> ;
owl:disjointWith <http://www.ecs.soton.ac.uk/ontology/pizza/#NonDairyCheeseTopping> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#EggTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#EggTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaTopping> ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness>
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#FancyPizza
<http://www.ecs.soton.ac.uk/ontology/pizza/#FancyPizza> rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza>
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:minCardinality "4"^^xsd:nonNegativeInteger
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#FishTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#FishTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaTopping> ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness>
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#GoatTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#GoatTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#DairyCheeseTopping> ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness>
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#GranMilanoTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#GranMilanoTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#DairyCheeseTopping> ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness>
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#GreenPepperTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#GreenPepperTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#PepperTopping> ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness>
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#HighCaloriePizza
<http://www.ecs.soton.ac.uk/ontology/pizza/#HighCaloriePizza> rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza>
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasCalories> ;
owl:someValuesFrom [ rdf:type rdfs:Datatype ;
owl:onDatatype xsd:integer ;
owl:withRestrictions ( [ xsd:minExclusive 1000
]
)
]
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#HotSpiciness
<http://www.ecs.soton.ac.uk/ontology/pizza/#HotSpiciness> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#Spiciness> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#JalapeñoPepperTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#JalapeñoPepperTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#PepperTopping> ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#HotSpiciness>
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#LeggeraBase
<http://www.ecs.soton.ac.uk/ontology/pizza/#LeggeraBase> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaBase> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#LowCaloriePizza
<http://www.ecs.soton.ac.uk/ontology/pizza/#LowCaloriePizza> rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza>
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasCalories> ;
owl:someValuesFrom [ rdf:type rdfs:Datatype ;
owl:onDatatype xsd:integer ;
owl:withRestrictions ( [ xsd:maxExclusive 800
]
)
]
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#MargheritaPizza
<http://www.ecs.soton.ac.uk/ontology/pizza/#MargheritaPizza> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#NamedPizza> ,
[ owl:intersectionOf ( [ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MozzarellaTopping>
]
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#TomatoSauceTopping>
]
) ;
rdf:type owl:Class
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasBase> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#ClassicBase>
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf ( <http://www.ecs.soton.ac.uk/ontology/pizza/#MozzarellaTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#TomatoSauceTopping>
)
]
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasCalories> ;
owl:hasValue 834
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#MeatTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#MeatTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaTopping> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#MediumSpiciness
<http://www.ecs.soton.ac.uk/ontology/pizza/#MediumSpiciness> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#Spiciness> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness
<http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#Spiciness> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#MozzarellaTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#MozzarellaTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#DairyCheeseTopping> ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness>
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#NamedPizza
<http://www.ecs.soton.ac.uk/ontology/pizza/#NamedPizza> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#NdujaTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#NdujaTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#MeatTopping> ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#HotSpiciness>
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#NonDairyCheeseTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#NonDairyCheeseTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#CheeseTopping> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#NutTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#NutTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#VegetableTopping> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#NuttyPizza
<http://www.ecs.soton.ac.uk/ontology/pizza/#NuttyPizza> rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza>
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasIngredient> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#NutTopping>
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#PepperTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#PepperTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#VegetableTopping> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#PepperoniTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#PepperoniTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#MeatTopping> ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MediumSpiciness>
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#PestoSauceTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#PestoSauceTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#SauceTopping> ,
[ owl:intersectionOf ( [ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasIngredient> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#BasilTopping>
]
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasIngredient> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#PineKernelTopping>
]
) ;
rdf:type owl:Class
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness>
] ;
owl:disjointWith <http://www.ecs.soton.ac.uk/ontology/pizza/#TomatoSauceTopping> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#PineKernelTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#PineKernelTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#NutTopping> ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness>
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza
<http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza> rdf:type owl:Class ;
rdfs:subClassOf [ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasBase> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaBase>
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaBase
<http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaBase> rdf:type owl:Class .
### http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaTopping> rdf:type owl:Class .
### http://www.ecs.soton.ac.uk/ontology/pizza/#ProsciuttoCottoTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#ProsciuttoCottoTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#MeatTopping> ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness>
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#RomanaBase
<http://www.ecs.soton.ac.uk/ontology/pizza/#RomanaBase> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaBase> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#RoquitoPepperTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#RoquitoPepperTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#PepperTopping> ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#HotSpiciness>
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#SauceTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#SauceTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaTopping> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#Spiciness
<http://www.ecs.soton.ac.uk/ontology/pizza/#Spiciness> rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:unionOf ( <http://www.ecs.soton.ac.uk/ontology/pizza/#HotSpiciness>
<http://www.ecs.soton.ac.uk/ontology/pizza/#MediumSpiciness>
<http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness>
)
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#SpicyPizza
<http://www.ecs.soton.ac.uk/ontology/pizza/#SpicyPizza> rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza>
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasIngredient> ;
owl:someValuesFrom [ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#HotSpiciness>
]
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#TomatoSauceTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#TomatoSauceTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#SauceTopping> ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasIngredient> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#TomatoTopping>
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness>
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#TomatoTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#TomatoTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#VegetableTopping> ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness>
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#VeganMargheritaPizza
<http://www.ecs.soton.ac.uk/ontology/pizza/#VeganMargheritaPizza> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#NamedPizza> ,
[ owl:intersectionOf ( [ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#TomatoSauceTopping>
]
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#VeganMozzarellaTopping>
]
) ;
rdf:type owl:Class
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasBase> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#ClassicBase>
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf ( <http://www.ecs.soton.ac.uk/ontology/pizza/#TomatoSauceTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#VeganMozzarellaTopping>
)
]
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasCalories> ;
owl:hasValue 711
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#VeganMozzarellaTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#VeganMozzarellaTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#NonDairyCheeseTopping> ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness> ;
owl:someValuesFrom <http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness>
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#VeganPizza
<http://www.ecs.soton.ac.uk/ontology/pizza/#VeganPizza> rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza>
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:complementOf [ rdf:type owl:Class ;
owl:unionOf ( <http://www.ecs.soton.ac.uk/ontology/pizza/#DairyCheeseTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#EggTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#MeatTopping>
)
]
]
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#VegetableTopping
<http://www.ecs.soton.ac.uk/ontology/pizza/#VegetableTopping> rdf:type owl:Class ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaTopping> .
### http://www.ecs.soton.ac.uk/ontology/pizza/#VegetarianPizza
<http://www.ecs.soton.ac.uk/ontology/pizza/#VegetarianPizza> rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza>
[ rdf:type owl:Restriction ;
owl:onProperty <http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping> ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:complementOf <http://www.ecs.soton.ac.uk/ontology/pizza/#MeatTopping>
]
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza> .
#################################################################
# General axioms
#################################################################
[ rdf:type owl:AllDisjointClasses ;
owl:members ( <http://www.ecs.soton.ac.uk/ontology/pizza/#BasilTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#NutTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#PepperTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#TomatoTopping>
)
] .
[ rdf:type owl:AllDisjointClasses ;
owl:members ( <http://www.ecs.soton.ac.uk/ontology/pizza/#CalabreseBase>
<http://www.ecs.soton.ac.uk/ontology/pizza/#ClassicBase>
<http://www.ecs.soton.ac.uk/ontology/pizza/#LeggeraBase>
<http://www.ecs.soton.ac.uk/ontology/pizza/#RomanaBase>
)
] .
[ rdf:type owl:AllDisjointClasses ;
owl:members ( <http://www.ecs.soton.ac.uk/ontology/pizza/#CheeseTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#EggTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#FishTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#MeatTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#SauceTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#VegetableTopping>
)
] .
[ rdf:type owl:AllDisjointClasses ;
owl:members ( <http://www.ecs.soton.ac.uk/ontology/pizza/#GoatTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#GranMilanoTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#MozzarellaTopping>
)
] .
[ rdf:type owl:AllDisjointClasses ;
owl:members ( <http://www.ecs.soton.ac.uk/ontology/pizza/#GreenPepperTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#JalapeñoPepperTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#RoquitoPepperTopping>
)
] .
[ rdf:type owl:AllDisjointClasses ;
owl:members ( <http://www.ecs.soton.ac.uk/ontology/pizza/#HotSpiciness>
<http://www.ecs.soton.ac.uk/ontology/pizza/#MediumSpiciness>
<http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness>
)
] .
[ rdf:type owl:AllDisjointClasses ;
owl:members ( <http://www.ecs.soton.ac.uk/ontology/pizza/#NdujaTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#PepperoniTopping>
<http://www.ecs.soton.ac.uk/ontology/pizza/#ProsciuttoCottoTopping>
)
] .
[ rdf:type owl:AllDisjointClasses ;
owl:members ( <http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza>
<http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaBase>
<http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaTopping>
)
] .
### Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi