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