Class: OneToppingPizza

•owl:Thing
        •PizzaDomainConcept
                •Pizza
                        •TestPizza
                                •OneToppingPizza

Super Classes

TestPizza
hasTopping EQ 1

Abstract Syntax

Class(OneToppingPizza partial TestPizza
                             restriction(hasTopping cardinality(1)))

Usage

Generated with OWLDoc