Class: SpicyTopping

Any pizza topping that has spiciness Hot

•owl:Thing

•DomainConcept

•PizzaTopping

•SpicyTopping

Equivalent Classes (Necessary and Sufficient Conditions)

PizzaTopping

hasSpiciness SOME Hot

Abstract Syntax

Class(SpicyTopping complete annotation(rdfs:comment "Any pizza topping that has spiciness Hot"^^<http://www.w3.org/2001/XMLSchema#string>)
                           PizzaTopping
                           restriction(hasSpiciness someValuesFrom(Hot)))

Usage

Class Description/Definition (Necessary Conditions)

SpicyPizza, SpicyTopping

Generated with OWLDoc