| An unclosed Pizza cannot be inferred to be either a VegetarianPizza or a NonVegetarianPizza, because it might have other toppings. |
| •owl:Thing |
| •DomainConcept |
| •Pizza |
| •NamedPizza |
| •UnclosedPizza |
| rdfs:label | "PizzaAberta" [lang: pt] |
Class(UnclosedPizza partial NamedPizza
restriction(hasTopping someValuesFrom(MozzarellaTopping)))
DisjointClasses(UnclosedPizza Parmense
SloppyGiuseppe
Fiorentina
American
LaReine
FourSeasons
PolloAdAstra
Napoletana
FruttiDiMare
Caprina
PrinceCarlo
Soho
Rosa
AmericanHot
Giardiniera
QuattroFormaggi
Cajun
Veneziana
Margherita
Mushroom
Capricciosa
Siciliana)