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