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