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