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