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