Class: Siciliana

•owl:Thing
        •DomainConcept
                •Pizza
                        •NamedPizza
                                •Siciliana

Super Classes

hasTopping SOME ArtichokeTopping
hasTopping SOME AnchoviesTopping
hasTopping SOME GarlicTopping
hasTopping ONLY (AnchoviesTopping OR ArtichokeTopping OR GarlicTopping OR HamTopping OR MozzarellaTopping OR OliveTopping OR TomatoTopping)
hasTopping SOME TomatoTopping
NamedPizza
hasTopping SOME OliveTopping
hasTopping SOME HamTopping
hasTopping SOME MozzarellaTopping

Disjoint Classes

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

Annotations

rdfs:label"Siciliana" [lang: pt]

Abstract Syntax

Class(Siciliana partial restriction(hasTopping someValuesFrom(ArtichokeTopping))
                       restriction(hasTopping someValuesFrom(AnchoviesTopping))
                       restriction(hasTopping someValuesFrom(GarlicTopping))
                       restriction(hasTopping allValuesFrom(unionOf(AnchoviesTopping
                                                                    ArtichokeTopping
                                                                    GarlicTopping
                                                                    HamTopping
                                                                    MozzarellaTopping
                                                                    OliveTopping
                                                                    TomatoTopping)))
                       restriction(hasTopping someValuesFrom(TomatoTopping))
                       NamedPizza
                       restriction(hasTopping someValuesFrom(OliveTopping))
                       restriction(hasTopping someValuesFrom(HamTopping))
                       restriction(hasTopping someValuesFrom(MozzarellaTopping)))

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

Usage

Generated with OWLDoc