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