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