Class: Rosa

•owl:Thing
        •DomainConcept
                •Pizza
                        •NamedPizza
                                •Rosa

Super Classes

hasTopping SOME GorgonzolaTopping
NamedPizza
hasTopping ONLY (GorgonzolaTopping OR MozzarellaTopping OR TomatoTopping)
hasTopping SOME MozzarellaTopping
hasTopping SOME TomatoTopping

Disjoint Classes

FourSeasons, AmericanHot, Caprina, Capricciosa, Siciliana, SloppyGiuseppe, Napoletana, Cajun, Parmense, Fiorentina, PrinceCarlo, Mushroom, FruttiDiMare, Veneziana, Margherita, LaReine, QuattroFormaggi, Soho, Giardiniera, PolloAdAstra, UnclosedPizza, American

Annotations

rdfs:label"Rosa" [lang: pt]

Abstract Syntax

Class(Rosa partial restriction(hasTopping someValuesFrom(GorgonzolaTopping))
                  NamedPizza
                  restriction(hasTopping allValuesFrom(unionOf(GorgonzolaTopping
                                                               MozzarellaTopping
                                                               TomatoTopping)))
                  restriction(hasTopping someValuesFrom(MozzarellaTopping))
                  restriction(hasTopping someValuesFrom(TomatoTopping)))

DisjointClasses(Rosa FourSeasons
                     AmericanHot
                     Caprina
                     Capricciosa
                     Siciliana
                     SloppyGiuseppe
                     Napoletana
                     Cajun
                     Parmense
                     Fiorentina
                     PrinceCarlo
                     Mushroom
                     FruttiDiMare
                     Veneziana
                     Margherita
                     LaReine
                     QuattroFormaggi
                     Soho
                     Giardiniera
                     PolloAdAstra
                     UnclosedPizza
                     American)

Usage

Generated with OWLDoc