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