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