Class: Siciliana

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

Super Classes

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

Disjoint Classes

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

Annotations

rdfs:label"Siciliana" [lang: pt]

Abstract Syntax

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

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

Usage

Generated with OWLDoc