Class: RealItalianPizza

"This defined class has conditions that are part of the definition: ie any Pizza that has the country of origin, Italy is a RealItalianPizza. It also has conditions that merely describe the members - that all RealItalianPizzas must only have ThinAndCrispy bases." [lang: en]

•owl:Thing
        •DomainConcept
                •Pizza
                        •RealItalianPizza

Super Classes

hasBase ONLY ThinAndCrispyBase

Equivalent Classes (Necessary and Sufficient Conditions)

hasCountryOfOrigin HAS Italy
Pizza

Annotations

rdfs:label"PizzaItalianaReal" [lang: pt]

Abstract Syntax

Class(RealItalianPizza complete annotation(rdfs:label "PizzaItalianaReal"@pt)
                               annotation(rdfs:comment "This defined class has conditions that are part of the definition: ie any Pizza that has the country of origin, Italy is a RealItalianPizza. It also has conditions that merely describe the members - that all RealItalianPizzas must only have ThinAndCrispy bases."@en)
                               restriction(hasCountryOfOrigin value(Italy))
                               Pizza)

SubClassOf(RealItalianPizza restriction(hasBase allValuesFrom(ThinAndCrispyBase)))

Usage

Class Description/Definition (Necessary Conditions)

RealItalianPizza
Generated with OWLDoc