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