Class: VegetarianTopping

An example of a covering axiom. VegetarianTopping is equivalent to the union of all toppings in the given axiom. VegetarianToppings can only be Cheese or Vegetable or....etc.

•owl:Thing

•DomainConcept

•PizzaTopping

•VegetarianTopping

Equivalent Classes (Necessary and Sufficient Conditions)

PizzaTopping

VegetableTopping OR CheeseTopping OR HerbSpiceTopping OR FruitTopping OR NutTopping OR SauceTopping

Abstract Syntax

Class(VegetarianTopping complete annotation(rdfs:comment "An example of a covering axiom. VegetarianTopping is equivalent to the union of all toppings in the given axiom. VegetarianToppings can only be Cheese or Vegetable or....etc."^^<http://www.w3.org/2001/XMLSchema#string>)
                                PizzaTopping
                                unionOf(VegetableTopping
                                        CheeseTopping
                                        HerbSpiceTopping
                                        FruitTopping
                                        NutTopping
                                        SauceTopping))

Usage

Class Description/Definition (Necessary Conditions)

VegetarianPizzaEquivalent1, VegetarianTopping

Generated with OWLDoc