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