Class: VegePizza05

CONVERT TO DEFINED BEFORE CLASSIFYING Can have anything as a topping (even non toppings) except meat or fish. Trivially satisfied - Does not have to have any toppings Equivalent to VegePizza04 (will not subsume open pizzas)

•owl:Thing

•PizzaDomainConcept

•Pizza

•VegePizza05

Super Classes

Pizza

hasTopping ONLY (NOT(MeatTopping OR FishTopping))

Abstract Syntax

Class(VegePizza05 partial Pizza
                         restriction(hasTopping allValuesFrom(complementOf(unionOf(MeatTopping
                                                                                   FishTopping)))))

Usage

Generated with OWLDoc