Class: VegetarianPizzaEquivalent1

Any pizza that only has vegetarian toppings or no toppings is a VegetarianPizzaEquiv1. Should be inferred to be equivalent to VegetarianPizzaEquiv2. Not equivalent to VegetarianPizza because PizzaTopping is not covering

•owl:Thing

•DomainConcept

•Pizza

•VegetarianPizzaEquivalent1

Equivalent Classes (Necessary and Sufficient Conditions)

Pizza

hasTopping ONLY VegetarianTopping

Abstract Syntax

Class(VegetarianPizzaEquivalent1 complete annotation(rdfs:comment "Any pizza that only has vegetarian toppings or no toppings is a VegetarianPizzaEquiv1. Should be inferred to be equivalent to VegetarianPizzaEquiv2.  Not equivalent to VegetarianPizza because PizzaTopping is not covering"^^<http://www.w3.org/2001/XMLSchema#string>)
                                         Pizza
                                         restriction(hasTopping allValuesFrom(VegetarianTopping)))

Usage

Class Description/Definition (Necessary Conditions)

VegetarianPizzaEquivalent1

Generated with OWLDoc