Class: FishTopping

•owl:Thing

•DomainConcept

•PizzaTopping

•FishTopping

Super Classes

PizzaTopping

hasSpiciness SOME Mild

Disjoint Classes

MeatTopping, FruitTopping, CheeseTopping, VegetableTopping, HerbSpiceTopping, NutTopping, SauceTopping

Abstract Syntax

Class(FishTopping partial PizzaTopping
                         restriction(hasSpiciness someValuesFrom(Mild)))

DisjointClasses(FishTopping MeatTopping
                            FruitTopping
                            CheeseTopping
                            VegetableTopping
                            HerbSpiceTopping
                            NutTopping
                            SauceTopping)

Usage

Class Description/Definition (Necessary Conditions)

AnchoviesTopping, MixedSeafoodTopping, PrawnsTopping, VegetarianPizza

Generated with OWLDoc