Class: Margherita

•owl:Thing
        •DomainConcept
                •Pizza
                        •NamedPizza
                                •Margherita

Super Classes

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

Disjoint Classes

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

Annotations

rdfs:label"Margherita" [lang: pt]

Abstract Syntax

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

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

Usage

Generated with OWLDoc