Class: MeatFishAndVegetarianPizza-Open

•owl:Thing

•PizzaDomainConcept

•Pizza

•TestPizza

•OpenPizza

•MeatFishAndVegetarianPizza-Open

Super Classes

hasTopping SOME VegetarianTopping

OpenPizza

hasTopping SOME FishTopping

hasTopping SOME MeatTopping

Abstract Syntax

Class(MeatFishAndVegetarianPizza-Open partial restriction(hasTopping someValuesFrom(VegetarianTopping))
                                             OpenPizza
                                             restriction(hasTopping someValuesFrom(FishTopping))
                                             restriction(hasTopping someValuesFrom(MeatTopping)))

Usage

Generated with OWLDoc