| •owl:Thing |
| •DomainConcept |
| •Pizza |
| •NamedPizza |
| •Mushroom |
| hasTopping SOME TomatoTopping |
| NamedPizza |
| hasTopping SOME MushroomTopping |
| hasTopping ONLY (MozzarellaTopping OR MushroomTopping OR TomatoTopping) |
| hasTopping SOME MozzarellaTopping |
Class(Mushroom partial restriction(hasTopping someValuesFrom(TomatoTopping))
NamedPizza
restriction(hasTopping someValuesFrom(MushroomTopping))
restriction(hasTopping allValuesFrom(unionOf(MozzarellaTopping
MushroomTopping
TomatoTopping)))
restriction(hasTopping someValuesFrom(MozzarellaTopping)))
DisjointClasses(Mushroom Parmense
Giardiniera
SloppyGiuseppe
AmericanHot
PrinceCarlo
Veneziana
LaReine
PolloAdAstra
Capricciosa
Fiorentina
Rosa
American
QuattroFormaggi
Napoletana
Cajun
FruttiDiMare
FourSeasons
UnclosedPizza
Margherita
Caprina
Siciliana
Soho)