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