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