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