Class: VegePizza06-MeaninglessRestriction

CONVERT TO DEFINED BEFORE CLASSIFYING The intersection of Meat and Fish is empty because they are disjoint. So we only have toppings that are (not owl:Nothing) Therefore, we only have toppings that are (owl:Thing) This statement is meaningless. This class is equivalent to Pizza

•owl:Thing

•PizzaDomainConcept

•Pizza

•VegePizza06-MeaninglessRestriction

Super Classes

hasTopping ONLY (NOT(MeatTopping AND FishTopping))

Pizza

Abstract Syntax

Class(VegePizza06-MeaninglessRestriction partial restriction(hasTopping allValuesFrom(complementOf(intersectionOf(MeatTopping
                                                                                                                 FishTopping))))
                                                Pizza)

Usage

Generated with OWLDoc