Class: MeatFishAndVegetarianPizza-Closed

•owl:Thing

•PizzaDomainConcept

•Pizza

•TestPizza

•ClosedPizza

•MeatFishAndVegetarianPizza-Closed

Super Classes

hasTopping ONLY (FishTopping OR MeatTopping OR VegetarianTopping)

hasTopping SOME MeatTopping

ClosedPizza

hasTopping SOME FishTopping

hasTopping SOME VegetarianTopping

Abstract Syntax

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

Usage

Generated with OWLDoc