@prefix : .
@prefix owl: .
@prefix rdf: .
@prefix xml: .
@prefix xsd: .
@prefix rdfs: .
@base .
rdf:type owl:Ontology .
#################################################################
# Object Properties
#################################################################
### http://www.ecs.soton.ac.uk/ontology/pizza/#hasBase
rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf ;
owl:inverseOf ;
rdf:type owl:FunctionalProperty ;
rdfs:domain ;
rdfs:range .
### http://www.ecs.soton.ac.uk/ontology/pizza/#hasIngredient
rdf:type owl:ObjectProperty ;
owl:inverseOf ;
rdf:type owl:TransitiveProperty .
### http://www.ecs.soton.ac.uk/ontology/pizza/#hasSpiciness
rdf:type owl:ObjectProperty ,
owl:FunctionalProperty ;
rdfs:domain ;
rdfs:range .
### http://www.ecs.soton.ac.uk/ontology/pizza/#hasTopping
rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf ;
owl:inverseOf ;
rdfs:domain ;
rdfs:range .
### http://www.ecs.soton.ac.uk/ontology/pizza/#isBaseOf
rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#isIngredientOf
rdf:type owl:ObjectProperty ,
owl:TransitiveProperty .
### http://www.ecs.soton.ac.uk/ontology/pizza/#isToppingOf
rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf .
#################################################################
# Data properties
#################################################################
### http://www.ecs.soton.ac.uk/ontology/pizza/#hasCalories
rdf:type owl:DatatypeProperty ;
rdfs:domain ;
rdfs:range xsd:integer .
#################################################################
# Classes
#################################################################
### http://www.ecs.soton.ac.uk/ontology/pizza/BlandPizza
:BlandPizza rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf (
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:allValuesFrom [ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/SlightlySpicyPizza
:SlightlySpicyPizza rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf (
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom [ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
]
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:allValuesFrom [ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom [ rdf:type owl:Class ;
owl:unionOf (
)
]
]
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#AmericanHotPizza
rdf:type owl:Class ;
rdfs:subClassOf ,
[ owl:intersectionOf ( [ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
) ;
rdf:type owl:Class
] ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf (
)
]
] ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:hasValue 1010
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#AmericanPizza
rdf:type owl:Class ;
rdfs:subClassOf ,
[ owl:intersectionOf ( [ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
) ;
rdf:type owl:Class
] ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf (
)
]
] ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:hasValue 978
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#AnchovyTopping
rdf:type owl:Class ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#BasilTopping
rdf:type owl:Class ;
rdfs:subClassOf ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#Calabrese
rdf:type owl:Class ;
rdfs:subClassOf ,
[ owl:intersectionOf ( [ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
) ;
rdf:type owl:Class
] ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf (
)
]
] ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:hasValue 1275
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#CalabreseBase
rdf:type owl:Class ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#CheeseTopping
rdf:type owl:Class ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#CheesyPizza
rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf (
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#ClassicBase
rdf:type owl:Class ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#DairyCheeseTopping
rdf:type owl:Class ;
rdfs:subClassOf ;
owl:disjointWith .
### http://www.ecs.soton.ac.uk/ontology/pizza/#EggTopping
rdf:type owl:Class ;
rdfs:subClassOf ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#FancyPizza
rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf (
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:minCardinality "4"^^xsd:nonNegativeInteger
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#FishTopping
rdf:type owl:Class ;
rdfs:subClassOf ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#GoatTopping
rdf:type owl:Class ;
rdfs:subClassOf ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#GranMilanoTopping
rdf:type owl:Class ;
rdfs:subClassOf ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#GreenPepperTopping
rdf:type owl:Class ;
rdfs:subClassOf ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#HighCaloriePizza
rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf (
[ rdf:type owl:Restriction ;
owl:onProperty ;
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/#HotSpiciness
rdf:type owl:Class ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#JalapeñoPepperTopping
rdf:type owl:Class ;
rdfs:subClassOf ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#LeggeraBase
rdf:type owl:Class ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#LowCaloriePizza
rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf (
[ rdf:type owl:Restriction ;
owl:onProperty ;
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/#MargheritaPizza
rdf:type owl:Class ;
rdfs:subClassOf ,
[ owl:intersectionOf ( [ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
) ;
rdf:type owl:Class
] ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf (
)
]
] ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:hasValue 834
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#MeatTopping
rdf:type owl:Class ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#MediumSpiciness
rdf:type owl:Class ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#MildSpiciness
rdf:type owl:Class ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#MozzarellaTopping
rdf:type owl:Class ;
rdfs:subClassOf ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#NamedPizza
rdf:type owl:Class ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#NdujaTopping
rdf:type owl:Class ;
rdfs:subClassOf ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#NonDairyCheeseTopping
rdf:type owl:Class ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#NutTopping
rdf:type owl:Class ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#NuttyPizza
rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf (
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#PepperTopping
rdf:type owl:Class ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#PepperoniTopping
rdf:type owl:Class ;
rdfs:subClassOf ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#PestoSauceTopping
rdf:type owl:Class ;
rdfs:subClassOf ,
[ owl:intersectionOf ( [ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
) ;
rdf:type owl:Class
] ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] ;
owl:disjointWith .
### http://www.ecs.soton.ac.uk/ontology/pizza/#PineKernelTopping
rdf:type owl:Class ;
rdfs:subClassOf ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#Pizza
rdf:type owl:Class ;
rdfs:subClassOf [ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaBase
rdf:type owl:Class .
### http://www.ecs.soton.ac.uk/ontology/pizza/#PizzaTopping
rdf:type owl:Class .
### http://www.ecs.soton.ac.uk/ontology/pizza/#ProsciuttoCottoTopping
rdf:type owl:Class ;
rdfs:subClassOf ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#RomanaBase
rdf:type owl:Class ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#RoquitoPepperTopping
rdf:type owl:Class ;
rdfs:subClassOf ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#SauceTopping
rdf:type owl:Class ;
rdfs:subClassOf .
### 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/#SpicyPizza
rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf (
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom [ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf .
### http://www.ecs.soton.ac.uk/ontology/pizza/#TomatoSauceTopping
rdf:type owl:Class ;
rdfs:subClassOf ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#TomatoTopping
rdf:type owl:Class ;
rdfs:subClassOf ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] .
### http://www.ecs.soton.ac.uk/ontology/pizza/#VeganMargheritaPizza
rdf:type owl:Class ;
rdfs:subClassOf ,
[ owl:intersectionOf ( [ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
]
) ;
rdf:type owl:Class
] ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:someValuesFrom
] ,
[ rdf:type owl:Restriction ;
owl:onProperty ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf (
)
]
] ,
[ rdf:type owl:Restriction ;
owl:onProperty