Class: VegetarianPizzaEquivalent2

An alternative to VegetarianPizzaEquiv1 that does not require a definition of VegetarianTopping. Perhaps more difficult to maintain. Not equivalent to VegetarianPizza

•owl:Thing
        •DomainConcept
                •Pizza
                        •VegetarianPizzaEquivalent2

Equivalent Classes (Necessary and Sufficient Conditions)

Pizza
hasTopping ONLY (FruitTopping OR HerbSpiceTopping OR NutTopping OR SauceTopping OR VegetableTopping OR CheeseTopping)

Abstract Syntax

Class(VegetarianPizzaEquivalent2 complete annotation(rdfs:comment "An alternative to VegetarianPizzaEquiv1 that does not require a definition of VegetarianTopping. Perhaps more difficult to maintain. Not equivalent to VegetarianPizza "^^<http://www.w3.org/2001/XMLSchema#string>)
                                         Pizza
                                         restriction(hasTopping allValuesFrom(unionOf(FruitTopping
                                                                                      HerbSpiceTopping
                                                                                      NutTopping
                                                                                      SauceTopping
                                                                                      VegetableTopping
                                                                                      CheeseTopping))))

Usage

Class Description/Definition (Necessary Conditions)

VegetarianPizzaEquivalent2
Generated with OWLDoc