Class: MeatAndFishPizza-Closed

•owl:Thing

•PizzaDomainConcept

•Pizza

•TestPizza

•ClosedPizza

•MeatAndFishPizza-Closed

Super Classes

hasTopping ONLY (FishTopping OR MeatTopping)

hasTopping SOME MeatTopping

hasTopping SOME FishTopping

ClosedPizza

Abstract Syntax

Class(MeatAndFishPizza-Closed partial restriction(hasTopping allValuesFrom(unionOf(FishTopping
                                                                                  MeatTopping)))
                                     restriction(hasTopping someValuesFrom(MeatTopping))
                                     restriction(hasTopping someValuesFrom(FishTopping))
                                     ClosedPizza)

Usage

Generated with OWLDoc