Class: LaReine

•owl:Thing
        •DomainConcept
                •Pizza
                        •NamedPizza
                                •LaReine

Super Classes

hasTopping ONLY (HamTopping OR MozzarellaTopping OR MushroomTopping OR OliveTopping OR TomatoTopping)
hasTopping SOME MozzarellaTopping
hasTopping SOME TomatoTopping
hasTopping SOME HamTopping
hasTopping SOME OliveTopping
NamedPizza
hasTopping SOME MushroomTopping

Disjoint Classes

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

Annotations

rdfs:label"LaReine" [lang: pt]

Abstract Syntax

Class(LaReine partial restriction(hasTopping allValuesFrom(unionOf(HamTopping
                                                                  MozzarellaTopping
                                                                  MushroomTopping
                                                                  OliveTopping
                                                                  TomatoTopping)))
                     restriction(hasTopping someValuesFrom(MozzarellaTopping))
                     restriction(hasTopping someValuesFrom(TomatoTopping))
                     restriction(hasTopping someValuesFrom(HamTopping))
                     restriction(hasTopping someValuesFrom(OliveTopping))
                     NamedPizza
                     restriction(hasTopping someValuesFrom(MushroomTopping)))

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

Usage

Generated with OWLDoc