Class: Rosa

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

Super Classes

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

Disjoint Classes

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

Annotations

rdfs:label"Rosa" [lang: pt]

Abstract Syntax

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

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

Usage

Generated with OWLDoc