Class: VegePizza10

CONVERT TO DEFINED BEFORE CLASSIFYING Has at least 1 topping (any class) Equivalent to VegePizza08 - the Universal restr is ignored (see VegePizza06) (will subsume open pizzas)

•owl:Thing

•PizzaDomainConcept

•Pizza

•VegePizza10

Super Classes

hasTopping ONLY (NOT(MeatTopping AND FishTopping))

Pizza

hasTopping SOME (NOT(MeatTopping AND FishTopping))

Abstract Syntax

Class(VegePizza10 partial restriction(hasTopping allValuesFrom(complementOf(intersectionOf(MeatTopping
                                                                                          FishTopping))))
                         Pizza
                         restriction(hasTopping someValuesFrom(complementOf(intersectionOf(MeatTopping
                                                                                           FishTopping)))))

Usage

Generated with OWLDoc