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