Class: PrinceCarlo

•owl:Thing
        •DomainConcept
                •Pizza
                        •NamedPizza
                                •PrinceCarlo

Super Classes

NamedPizza
hasTopping SOME TomatoTopping
hasTopping SOME RosemaryTopping
hasTopping SOME MozzarellaTopping
hasTopping SOME LeekTopping
hasTopping SOME ParmesanTopping
hasTopping ONLY (LeekTopping OR MozzarellaTopping OR ParmesanTopping OR RosemaryTopping OR TomatoTopping)

Disjoint Classes

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

Annotations

rdfs:label"CoberturaPrinceCarlo" [lang: pt]

Abstract Syntax

Class(PrinceCarlo partial NamedPizza
                         restriction(hasTopping someValuesFrom(TomatoTopping))
                         restriction(hasTopping someValuesFrom(RosemaryTopping))
                         restriction(hasTopping someValuesFrom(MozzarellaTopping))
                         restriction(hasTopping someValuesFrom(LeekTopping))
                         restriction(hasTopping someValuesFrom(ParmesanTopping))
                         restriction(hasTopping allValuesFrom(unionOf(LeekTopping
                                                                      MozzarellaTopping
                                                                      ParmesanTopping
                                                                      RosemaryTopping
                                                                      TomatoTopping))))

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

Usage

Generated with OWLDoc