Class: VegePizza07

CONVERT TO DEFINED BEFORE CLASSIFYING Has at least one topping (of any class except meat or fish) Could have other toppings (including meat and fish) (will subsume open pizzas)

•owl:Thing

•PizzaDomainConcept

•Pizza

•VegePizza07

Super Classes

Pizza

hasTopping SOME (NOT(MeatTopping OR FishTopping))

Abstract Syntax

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

Usage

Generated with OWLDoc