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