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