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