Class: Pizza

•owl:Thing
        •DomainConcept
                •Pizza

Super Classes

hasBase SOME PizzaBase
DomainConcept

Disjoint Classes

PizzaTopping, IceCream, PizzaBase

Annotations

rdfs:label"Pizza" [lang: en]

Abstract Syntax

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

DisjointClasses(Pizza PizzaTopping
                      IceCream
                      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