Class: VegePizza09

CONVERT TO DEFINED BEFORE CLASSIFYING Has at least one topping (of any class but not meat or fish) No toppings can be meat or fish (will not subsume open pizzas)

•owl:Thing

•PizzaDomainConcept

•Pizza

•VegePizza09

Super Classes

hasTopping ONLY (NOT(MeatTopping OR FishTopping))

Pizza

hasTopping SOME (NOT(MeatTopping OR FishTopping))

Abstract Syntax

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

Usage

Generated with OWLDoc