Class: VegetarianPizza

"Any pizza that does not have fish topping and does not have meat topping is a VegetarianPizza. Members of this class do not need to have any toppings at all." [lang: en]

•owl:Thing

•DomainConcept

•Pizza

•VegetarianPizza

Equivalent Classes (Necessary and Sufficient Conditions)

NOT(hasTopping SOME MeatTopping)

NOT(hasTopping SOME FishTopping)

Pizza

Disjoint Classes

NonVegetarianPizza

Annotations

rdfs:label

"PizzaVegetariana" [lang: pt]

Abstract Syntax

Class(VegetarianPizza complete annotation(rdfs:label "PizzaVegetariana"@pt)
                              annotation(rdfs:comment "Any pizza that does not have fish topping and does not have meat topping is a VegetarianPizza. Members of this class do not need to have any toppings at all."@en)
                              complementOf(restriction(hasTopping someValuesFrom(MeatTopping)))
                              complementOf(restriction(hasTopping someValuesFrom(FishTopping)))
                              Pizza)

DisjointClasses(VegetarianPizza NonVegetarianPizza)

Usage

Class Description/Definition (Necessary Conditions)

NonVegetarianPizza, VegetarianPizza

Generated with OWLDoc