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