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