Class: SpicyPizzaEquivalent

An alternative definition for the SpicyPizza which does away with needing a definition of SpicyTopping and uses a slightly more complicated restriction: Pizzas that have at least one topping that is both a PizzaTopping and has spiciness hot are members of this class.

•owl:Thing

•DomainConcept

•Pizza

•SpicyPizzaEquivalent

Equivalent Classes (Necessary and Sufficient Conditions)

Pizza

hasTopping SOME (PizzaTopping AND (hasSpiciness SOME Hot))

Abstract Syntax

Class(SpicyPizzaEquivalent complete annotation(rdfs:comment "An alternative definition for the SpicyPizza which does away with needing a definition of SpicyTopping and uses a slightly more complicated restriction: Pizzas that have at least one topping that is both a PizzaTopping and has spiciness hot are members of this class. "^^<http://www.w3.org/2001/XMLSchema#string>)
                                   Pizza
                                   restriction(hasTopping someValuesFrom(intersectionOf(PizzaTopping
                                                                                        restriction(hasSpiciness someValuesFrom(Hot))))))

Usage

Class Description/Definition (Necessary Conditions)

SpicyPizzaEquivalent

Generated with OWLDoc