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.

•owl:Thing

•DomainConcept

•Pizza

•VegetarianPizza

Equivalent Classes (Necessary and Sufficient Conditions)

NOT(hasTopping SOME MeatTopping)

NOT(hasTopping SOME FishTopping)

Pizza

Disjoint Classes

NonVegetarianPizza

Abstract Syntax

Class(VegetarianPizza complete 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."^^<http://www.w3.org/2001/XMLSchema#string>)
                              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