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