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