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