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