Class: EmptyPizza

This pizza exists to test trivial satisfaction - members of this class cannot have any toppings. This should classify under VegePizza02

•owl:Thing
        •PizzaDomainConcept
                •Pizza
                        •TestPizza
                                •EmptyPizza

Super Classes

TestPizza
hasTopping EQ 0

Abstract Syntax

Class(EmptyPizza partial TestPizza
                        restriction(hasTopping cardinality(0)))

Usage

Generated with OWLDoc