@prefix : .
@prefix owl: .
@prefix rdf: .
@prefix xml: .
@prefix xsd: .
@prefix rdfs: .
@base .
rdf:type owl:Ontology ;
rdfs:label "Pizza Ontology" .
#################################################################
# Object Properties
#################################################################
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/hasBase
:hasBase rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :hasIngredient ;
owl:inverseOf :isBaseOf ;
rdf:type owl:FunctionalProperty ;
rdfs:domain :Pizza ;
rdfs:range :PizzaBase .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/hasIngredient
:hasIngredient rdf:type owl:ObjectProperty ;
owl:inverseOf :isIngredientOf ;
rdf:type owl:TransitiveProperty .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/hasSpiciness
:hasSpiciness rdf:type owl:ObjectProperty ,
owl:FunctionalProperty ;
rdfs:range :Spiciness .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/hasTopping
:hasTopping rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :hasIngredient ;
owl:inverseOf :isToppingOf ;
rdfs:domain :Pizza ;
rdfs:range :PizzaTopping .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/isBaseOf
:isBaseOf rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :isIngredientOf .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/isIngredientOf
:isIngredientOf rdf:type owl:ObjectProperty ,
owl:TransitiveProperty .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/isToppingOf
:isToppingOf rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :isIngredientOf .
#################################################################
# Data properties
#################################################################
### http://gark.net/ontology/pizza#hasCalories
:hasCalories rdf:type owl:DatatypeProperty ,
owl:FunctionalProperty ;
rdfs:range xsd:integer .
#################################################################
# Classes
#################################################################
### http://gark.net/ontology/pizza#AnchovyTopping
:AnchovyTopping rdf:type owl:Class ;
rdfs:subClassOf :SeafoodTopping .
### http://gark.net/ontology/pizza#ArtichokeTopping
:ArtichokeTopping rdf:type owl:Class ;
rdfs:subClassOf :VegetableTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://gark.net/ontology/pizza#BarbacoaBeefTopping
:BarbacoaBeefTopping rdf:type owl:Class ;
rdfs:subClassOf :BeefTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] ;
owl:disjointWith :SpicyBeefTopping .
### http://gark.net/ontology/pizza#BasilTopping
:BasilTopping rdf:type owl:Class ;
rdfs:subClassOf :VegetableTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://gark.net/ontology/pizza#BeefTopping
:BeefTopping rdf:type owl:Class ;
rdfs:subClassOf :MeatTopping .
### http://gark.net/ontology/pizza#CalorificPizza
:CalorificPizza rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( :Pizza
[ rdf:type owl:Restriction ;
owl:onProperty :hasCalories ;
owl:someValuesFrom [ rdf:type rdfs:Datatype ;
owl:onDatatype xsd:integer ;
owl:withRestrictions ( [ xsd:minInclusive 1000
]
)
]
]
) ;
rdf:type owl:Class
] .
### http://gark.net/ontology/pizza#CaperTopping
:CaperTopping rdf:type owl:Class ;
rdfs:subClassOf :VegetableTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://gark.net/ontology/pizza#CaramelisedOnionTopping
:CaramelisedOnionTopping rdf:type owl:Class ;
rdfs:subClassOf :OnionTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] ;
owl:disjointWith :RedOnionTopping .
### http://gark.net/ontology/pizza#CheesyPizza
:CheesyPizza rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( :Pizza
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ;
owl:onClass :CheeseTopping
]
) ;
rdf:type owl:Class
] .
### http://gark.net/ontology/pizza#ChickenTopping
:ChickenTopping rdf:type owl:Class ;
rdfs:subClassOf :MeatTopping .
### http://gark.net/ontology/pizza#ChipotleSalsaTopping
:ChipotleSalsaTopping rdf:type owl:Class ;
rdfs:subClassOf :SauceTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasIngredient ;
owl:someValuesFrom :PepperTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Hot
] .
### http://gark.net/ontology/pizza#CorianderTopping
:CorianderTopping rdf:type owl:Class ;
rdfs:subClassOf :VegetableTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://gark.net/ontology/pizza#GiardinieraPizza
:GiardinieraPizza rdf:type owl:Class ;
rdfs:subClassOf :NamedPizza ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :ArtichokeTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :MushroomTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :OliveTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :ParsleyTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :RedOnionTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :TomatoSauceTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :VeganMozzarellaTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf ( :ArtichokeTopping
:MushroomTopping
:OliveTopping
:ParsleyTopping
:RedOnionTopping
:TomatoSauceTopping
:VeganMozzarellaTopping
)
]
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasCalories ;
owl:hasValue 843
] .
### http://gark.net/ontology/pizza#HotGreenPepperTopping
:HotGreenPepperTopping rdf:type owl:Class ;
rdfs:subClassOf :PepperTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Hot
] .
### http://gark.net/ontology/pizza#InterestingPizza
:InterestingPizza rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( :Pizza
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:minCardinality "4"^^xsd:nonNegativeInteger
]
) ;
rdf:type owl:Class
] .
### http://gark.net/ontology/pizza#MushroomTopping
:MushroomTopping rdf:type owl:Class ;
rdfs:subClassOf :VegetableTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://gark.net/ontology/pizza#NutTopping
:NutTopping rdf:type owl:Class ;
rdfs:subClassOf :VegetableTopping .
### http://gark.net/ontology/pizza#NuttyPizza
:NuttyPizza rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( :Pizza
[ rdf:type owl:Restriction ;
owl:onProperty :hasIngredient ;
owl:someValuesFrom :NutTopping
]
) ;
rdf:type owl:Class
] .
### http://gark.net/ontology/pizza#OliveTopping
:OliveTopping rdf:type owl:Class ;
rdfs:subClassOf :VegetableTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://gark.net/ontology/pizza#OnionTopping
:OnionTopping rdf:type owl:Class ;
rdfs:subClassOf :VegetableTopping .
### http://gark.net/ontology/pizza#OreganoTopping
:OreganoTopping rdf:type owl:Class ;
rdfs:subClassOf :VegetableTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://gark.net/ontology/pizza#ParsleyTopping
:ParsleyTopping rdf:type owl:Class ;
rdfs:subClassOf :VegetableTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://gark.net/ontology/pizza#PestoTopping
:PestoTopping rdf:type owl:Class ;
rdfs:subClassOf :SauceTopping ,
[ owl:intersectionOf ( [ rdf:type owl:Restriction ;
owl:onProperty :hasIngredient ;
owl:someValuesFrom :BasilTopping
]
[ rdf:type owl:Restriction ;
owl:onProperty :hasIngredient ;
owl:someValuesFrom :PineKernelTopping
]
[ rdf:type owl:Restriction ;
owl:onProperty :hasIngredient ;
owl:someValuesFrom :GranMilanoTopping
]
) ;
rdf:type owl:Class
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasIngredient ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf ( :BasilTopping
:PineKernelTopping
:GranMilanoTopping
)
]
] .
### http://gark.net/ontology/pizza#PineKernelTopping
:PineKernelTopping rdf:type owl:Class ;
rdfs:subClassOf :NutTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://gark.net/ontology/pizza#PolloForzaPizza
:PolloForzaPizza rdf:type owl:Class ;
rdfs:subClassOf :NamedPizza ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :ChickenTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :RoquitoPepperTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :TomatoSauceTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :GranMilanoTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :MozzarellaTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :PepperTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf ( :ChickenTopping
:RoquitoPepperTopping
:TomatoSauceTopping
:GranMilanoTopping
:MozzarellaTopping
:PepperTopping
)
]
] .
### http://gark.net/ontology/pizza#PorkTopping
:PorkTopping rdf:type owl:Class ;
rdfs:subClassOf :MeatTopping .
### http://gark.net/ontology/pizza#ProsciuttoCottoTopping
:ProsciuttoCottoTopping rdf:type owl:Class ;
rdfs:subClassOf :PorkTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://gark.net/ontology/pizza#RedOnionTopping
:RedOnionTopping rdf:type owl:Class ;
rdfs:subClassOf :OnionTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://gark.net/ontology/pizza#RoquitoPepperTopping
:RoquitoPepperTopping rdf:type owl:Class ;
rdfs:subClassOf :PepperTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Hot
] .
### http://gark.net/ontology/pizza#SauceTopping
:SauceTopping rdf:type owl:Class ;
rdfs:subClassOf :PizzaTopping .
### http://gark.net/ontology/pizza#SeafoodTopping
:SeafoodTopping rdf:type owl:Class ;
rdfs:subClassOf :PizzaTopping .
### http://gark.net/ontology/pizza#SpinachTopping
:SpinachTopping rdf:type owl:Class ;
rdfs:subClassOf :VegetableTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://gark.net/ontology/pizza#SultanaTopping
:SultanaTopping rdf:type owl:Class ;
rdfs:subClassOf :VegetableTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://gark.net/ontology/pizza#TabascoSauceTopping
:TabascoSauceTopping rdf:type owl:Class ;
rdfs:subClassOf :SauceTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasIngredient ;
owl:someValuesFrom :PepperTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Hot
] .
### http://gark.net/ontology/pizza#TomatoSauceTopping
:TomatoSauceTopping rdf:type owl:Class ;
rdfs:subClassOf :SauceTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasIngredient ;
owl:someValuesFrom :TomatoTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://gark.net/ontology/pizza#VeganCheeseTopping
:VeganCheeseTopping rdf:type owl:Class ;
rdfs:subClassOf :PizzaTopping .
### http://gark.net/ontology/pizza#VeganMozzarellaTopping
:VeganMozzarellaTopping rdf:type owl:Class ;
rdfs:subClassOf :VeganCheeseTopping .
### http://gark.net/ontology/pizza#VeganPizza
:VeganPizza rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( :Pizza
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf ( :SauceTopping
:VeganCheeseTopping
:VegetableTopping
)
]
]
) ;
rdf:type owl:Class
] .
### http://gark.net/ontology/pizza#VenezianaPizza
:VenezianaPizza rdf:type owl:Class ;
rdfs:subClassOf :NamedPizza ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :CaperTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :OliveTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :PineKernelTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :RedOnionTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :SultanaTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :TomatoSauceTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :MozzarellaTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf ( :CaperTopping
:OliveTopping
:PineKernelTopping
:RedOnionTopping
:SultanaTopping
:TomatoSauceTopping
:MozzarellaTopping
)
]
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasCalories ;
owl:hasValue 938
] .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/AmericanHotPizza
:AmericanHotPizza rdf:type owl:Class ;
rdfs:subClassOf :NamedPizza ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :TomatoSauceTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :MozzarellaTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :PepperoniTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom [ rdf:type owl:Class ;
owl:unionOf ( :HotGreenPepperTopping
:RoquitoPepperTopping
:JalapenoPepperTopping
)
]
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf ( :TomatoSauceTopping
:MozzarellaTopping
:PepperoniTopping
[ rdf:type owl:Class ;
owl:unionOf ( :HotGreenPepperTopping
:RoquitoPepperTopping
:JalapenoPepperTopping
)
]
)
]
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasCalories ;
owl:hasValue 1010
] .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/AmericanPizza
:AmericanPizza rdf:type owl:Class ;
rdfs:subClassOf :NamedPizza ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :TomatoSauceTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :MozzarellaTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :PepperoniTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf ( :TomatoSauceTopping
:MozzarellaTopping
:PepperoniTopping
)
]
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasCalories ;
owl:hasValue 978
] .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/CheeseTopping
:CheeseTopping rdf:type owl:Class ;
rdfs:subClassOf :PizzaTopping .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/ClassicBase
:ClassicBase rdf:type owl:Class ;
rdfs:subClassOf :PizzaBase .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/EggTopping
:EggTopping rdf:type owl:Class ;
rdfs:subClassOf :PizzaTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/GoatCheeseTopping
:GoatCheeseTopping rdf:type owl:Class ;
rdfs:subClassOf :CheeseTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/GranMilanoTopping
:GranMilanoTopping rdf:type owl:Class ;
rdfs:subClassOf :CheeseTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/GreenPepperTopping
:GreenPepperTopping rdf:type owl:Class ;
rdfs:subClassOf :PepperTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/Hot
:Hot rdf:type owl:Class ;
rdfs:subClassOf :Spiciness .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/JalapenoPepperTopping
:JalapenoPepperTopping rdf:type owl:Class ;
rdfs:subClassOf :PepperTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Hot
] .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/LeggeraBase
:LeggeraBase rdf:type owl:Class ;
rdfs:subClassOf :PizzaBase .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/MargheritaPizza
:MargheritaPizza rdf:type owl:Class ;
rdfs:subClassOf :NamedPizza ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :TomatoSauceTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :MozzarellaTopping
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf ( :TomatoSauceTopping
:MozzarellaTopping
)
]
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasCalories ;
owl:hasValue 834
] .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/MeatTopping
:MeatTopping rdf:type owl:Class ;
rdfs:subClassOf :PizzaTopping .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/Medium
:Medium rdf:type owl:Class ;
rdfs:subClassOf :Spiciness .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/Mild
:Mild rdf:type owl:Class ;
rdfs:subClassOf :Spiciness .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/MozzarellaTopping
:MozzarellaTopping rdf:type owl:Class ;
rdfs:subClassOf :CheeseTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/NamedPizza
:NamedPizza rdf:type owl:Class ;
rdfs:subClassOf :Pizza .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/PepperTopping
:PepperTopping rdf:type owl:Class ;
rdfs:subClassOf :VegetableTopping ;
owl:disjointWith :TomatoTopping .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/PepperoniTopping
:PepperoniTopping rdf:type owl:Class ;
rdfs:subClassOf :MeatTopping ,
[ owl:intersectionOf ( [ rdf:type owl:Restriction ;
owl:onProperty :hasIngredient ;
owl:someValuesFrom :BeefTopping
]
[ rdf:type owl:Restriction ;
owl:onProperty :hasIngredient ;
owl:someValuesFrom :PorkTopping
]
) ;
rdf:type owl:Class
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Medium
] .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/Pizza
:Pizza rdf:type owl:Class ;
rdfs:subClassOf [ rdf:type owl:Restriction ;
owl:onProperty :hasBase ;
owl:someValuesFrom :PizzaBase
] .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/PizzaBase
:PizzaBase rdf:type owl:Class .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/PizzaTopping
:PizzaTopping rdf:type owl:Class .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/RomanaBase
:RomanaBase rdf:type owl:Class ;
rdfs:subClassOf :PizzaBase .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/Spiciness
:Spiciness rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:unionOf ( :Hot
:Medium
:Mild
)
] ;
rdfs:subClassOf :ValuePartition .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/SpicyBeefTopping
:SpicyBeefTopping rdf:type owl:Class ;
rdfs:subClassOf :BeefTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Medium
] .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/SpicyPizza
:SpicyPizza rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( :Pizza
[ rdf:type owl:Restriction ;
owl:onProperty :hasIngredient ;
owl:someValuesFrom [ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Hot
]
]
) ;
rdf:type owl:Class
] .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/TomatoTopping
:TomatoTopping rdf:type owl:Class ;
rdfs:subClassOf :VegetableTopping ,
[ rdf:type owl:Restriction ;
owl:onProperty :hasSpiciness ;
owl:someValuesFrom :Mild
] .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/ValuePartition
:ValuePartition rdf:type owl:Class .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/VegetableTopping
:VegetableTopping rdf:type owl:Class ;
rdfs:subClassOf :PizzaTopping .
### http://www.semanticweb.org/ontologies/2023/1/untitled-ontology-311/VegetarianPizza
:VegetarianPizza rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( :Pizza
[ rdf:type owl:Restriction ;
owl:onProperty :hasTopping ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:complementOf :MeatTopping
]
]
) ;
rdf:type owl:Class
] .
#################################################################
# General axioms
#################################################################
[ rdf:type owl:AllDisjointClasses ;
owl:members ( :ArtichokeTopping
:BasilTopping
:CaperTopping
:CorianderTopping
:MushroomTopping
:NutTopping
:OliveTopping
:OnionTopping
:OreganoTopping
:ParsleyTopping
:SpinachTopping
:SultanaTopping
:PepperTopping
:TomatoTopping
)
] .
[ rdf:type owl:AllDisjointClasses ;
owl:members ( :BeefTopping
:ChickenTopping
:PorkTopping
)
] .
[ rdf:type owl:AllDisjointClasses ;
owl:members ( :ChipotleSalsaTopping
:PestoTopping
:TabascoSauceTopping
:TomatoSauceTopping
)
] .
[ rdf:type owl:AllDisjointClasses ;
owl:members ( :GiardinieraPizza
:PolloForzaPizza
:VenezianaPizza
:AmericanHotPizza
:AmericanPizza
:MargheritaPizza
)
] .
[ rdf:type owl:AllDisjointClasses ;
owl:members ( :HotGreenPepperTopping
:RoquitoPepperTopping
:GreenPepperTopping
:JalapenoPepperTopping
)
] .
[ rdf:type owl:AllDisjointClasses ;
owl:members ( :SauceTopping
:SeafoodTopping
:VeganCheeseTopping
:CheeseTopping
:EggTopping
:MeatTopping
:VegetableTopping
)
] .
[ rdf:type owl:AllDisjointClasses ;
owl:members ( :ClassicBase
:LeggeraBase
:RomanaBase
)
] .
[ rdf:type owl:AllDisjointClasses ;
owl:members ( :GoatCheeseTopping
:GranMilanoTopping
:MozzarellaTopping
)
] .
[ rdf:type owl:AllDisjointClasses ;
owl:members ( :Hot
:Medium
:Mild
)
] .
[ rdf:type owl:AllDisjointClasses ;
owl:members ( :Pizza
:PizzaBase
:PizzaTopping
)
] .
### Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi