| 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 Siciliana
Soho
Veneziana
FourSeasons
FruttiDiMare
Margherita
American
Napoletana
PrinceCarlo
PolloAdAstra
Caprina
Capricciosa
SloppyGiuseppe
LaReine
Parmense
Giardiniera
AmericanHot
Cajun
Fiorentina
QuattroFormaggi
Rosa
Mushroom)