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