Class: VegetarianToppingsPizza-Closed

•owl:Thing
        •PizzaDomainConcept
                •Pizza
                        •TestPizza
                                •ClosedPizza
                                        •VegetarianToppingsPizza-Closed

Super Classes

hasTopping ONLY VegetarianTopping
hasTopping SOME VegetarianTopping
ClosedPizza

Abstract Syntax

Class(VegetarianToppingsPizza-Closed partial restriction(hasTopping allValuesFrom(VegetarianTopping))
                                            restriction(hasTopping someValuesFrom(VegetarianTopping))
                                            ClosedPizza)

Usage

Generated with OWLDoc