Class: Pizza

•owl:Thing

•DomainConcept

•Pizza

Super Classes

hasBase SOME PizzaBase

DomainConcept

Disjoint Classes

IceCream, PizzaTopping, PizzaBase

Abstract Syntax

Class(Pizza partial restriction(hasBase someValuesFrom(PizzaBase))
                   DomainConcept)

DisjointClasses(Pizza IceCream
                      PizzaTopping
                      PizzaBase)

Usage

Class Description/Definition (Necessary Conditions)

CheeseyPizza, InterestingPizza, MeatyPizza, NamedPizza, NonVegetarianPizza, RealItalianPizza, SpicyPizza, SpicyPizzaEquivalent, VegetarianPizza, VegetarianPizzaEquivalent1, VegetarianPizzaEquivalent2

Domain of

hasBase, hasTopping

Generated with OWLDoc