Class: FourSeasons

•owl:Thing
        •DomainConcept
                •Pizza
                        •NamedPizza
                                •FourSeasons

Super Classes

hasTopping SOME MushroomTopping
NamedPizza
hasTopping SOME OliveTopping
hasTopping SOME PeperoniSausageTopping
hasTopping SOME TomatoTopping
hasTopping ONLY (AnchoviesTopping OR CaperTopping OR MozzarellaTopping OR MushroomTopping OR OliveTopping OR PeperoniSausageTopping OR TomatoTopping)
hasTopping SOME AnchoviesTopping
hasTopping SOME CaperTopping
hasTopping SOME MozzarellaTopping

Disjoint Classes

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

Annotations

rdfs:label"QuatroQueijos" [lang: pt]

Abstract Syntax

Class(FourSeasons partial restriction(hasTopping someValuesFrom(MushroomTopping))
                         NamedPizza
                         restriction(hasTopping someValuesFrom(OliveTopping))
                         restriction(hasTopping someValuesFrom(PeperoniSausageTopping))
                         restriction(hasTopping someValuesFrom(TomatoTopping))
                         restriction(hasTopping allValuesFrom(unionOf(AnchoviesTopping
                                                                      CaperTopping
                                                                      MozzarellaTopping
                                                                      MushroomTopping
                                                                      OliveTopping
                                                                      PeperoniSausageTopping
                                                                      TomatoTopping)))
                         restriction(hasTopping someValuesFrom(AnchoviesTopping))
                         restriction(hasTopping someValuesFrom(CaperTopping))
                         restriction(hasTopping someValuesFrom(MozzarellaTopping)))

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

Usage

Generated with OWLDoc