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