Class: MeatTopping

•owl:Thing

•PizzaDomainConcept

•PizzaTopping

•MeatTopping

Super Classes

PizzaTopping

Disjoint Classes

VegetarianTopping, FishTopping

Abstract Syntax

Class(MeatTopping partial PizzaTopping)

DisjointClasses(MeatTopping VegetarianTopping
                            FishTopping)

Usage

Class Description/Definition (Necessary Conditions)

MeatAndFishPizza-Closed, MeatAndFishPizza-Open, MeatFishAndVegetarianPizza-Closed, MeatFishAndVegetarianPizza-Open, MeatPizza-Closed, MeatPizza-Open, VegePizza04, VegePizza05, VegePizza06-MeaninglessRestriction, VegePizza07, VegePizza08-IncorrectIntersection, VegePizza09, VegePizza10

Generated with OWLDoc