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