Class: VegePizza08-IncorrectIntersection

CONVERT TO DEFINED BEFORE CLASSIFYING The intersection of Meat and Fish is empty because they are disjoint. So we have toppings that are (not owl:Nothing) Therefore, we have toppings that are (owl:Thing) Has at least 1 topping of any class (will subsume open pizzas)

•owl:Thing

•PizzaDomainConcept

•Pizza

•VegePizza08-IncorrectIntersection

Super Classes

Pizza

hasTopping SOME (NOT(MeatTopping AND FishTopping))

Abstract Syntax

Class(VegePizza08-IncorrectIntersection partial Pizza
                                               restriction(hasTopping someValuesFrom(complementOf(intersectionOf(MeatTopping
                                                                                                                 FishTopping)))))

Usage

Generated with OWLDoc