Class: VegePizza03

CONVERT TO DEFINED BEFORE CLASSIFYING This is correct, with respect to our PizzaToppings Cannot be empty (will not subsume open pizzas)

•owl:Thing
        •PizzaDomainConcept
                •Pizza
                        •VegePizza03

Super Classes

hasTopping SOME VegetarianTopping
hasTopping ONLY VegetarianTopping
Pizza

Abstract Syntax

Class(VegePizza03 partial restriction(hasTopping someValuesFrom(VegetarianTopping))
                         restriction(hasTopping allValuesFrom(VegetarianTopping))
                         Pizza)

Usage

Generated with OWLDoc