Class: SpicyPizza

Any pizza that has a spicy topping is a SpicyPizza

•owl:Thing
        •DomainConcept
                •Pizza
                        •SpicyPizza

Equivalent Classes (Necessary and Sufficient Conditions)

Pizza
hasTopping SOME SpicyTopping

Abstract Syntax

Class(SpicyPizza complete annotation(rdfs:comment "Any pizza that has a spicy topping is a SpicyPizza"^^<http://www.w3.org/2001/XMLSchema#string>)
                         Pizza
                         restriction(hasTopping someValuesFrom(SpicyTopping)))

Usage

Class Description/Definition (Necessary Conditions)

SpicyPizza
Generated with OWLDoc