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