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