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