Class: Soho

•owl:Thing
        •DomainConcept
                •Pizza
                        •NamedPizza
                                •Soho

Super Classes

hasTopping SOME MozzarellaTopping
hasTopping SOME OliveTopping
NamedPizza
hasTopping SOME TomatoTopping
hasTopping ONLY (GarlicTopping OR MozzarellaTopping OR OliveTopping OR ParmesanTopping OR RocketTopping OR TomatoTopping)
hasTopping SOME ParmesanTopping
hasTopping SOME GarlicTopping
hasTopping SOME RocketTopping

Disjoint Classes

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

Annotations

rdfs:label"Soho" [lang: pt]

Abstract Syntax

Class(Soho partial restriction(hasTopping someValuesFrom(MozzarellaTopping))
                  restriction(hasTopping someValuesFrom(OliveTopping))
                  NamedPizza
                  restriction(hasTopping someValuesFrom(TomatoTopping))
                  restriction(hasTopping allValuesFrom(unionOf(GarlicTopping
                                                               MozzarellaTopping
                                                               OliveTopping
                                                               ParmesanTopping
                                                               RocketTopping
                                                               TomatoTopping)))
                  restriction(hasTopping someValuesFrom(ParmesanTopping))
                  restriction(hasTopping someValuesFrom(GarlicTopping))
                  restriction(hasTopping someValuesFrom(RocketTopping)))

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

Usage

Generated with OWLDoc