Class: MeatPizza-Closed

•owl:Thing

•PizzaDomainConcept

•Pizza

•TestPizza

•ClosedPizza

•MeatPizza-Closed

Super Classes

hasTopping ONLY MeatTopping

ClosedPizza

hasTopping SOME MeatTopping

Abstract Syntax

Class(MeatPizza-Closed partial restriction(hasTopping allValuesFrom(MeatTopping))
                              ClosedPizza
                              restriction(hasTopping someValuesFrom(MeatTopping)))

Usage

Generated with OWLDoc