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" [lang: en]

•owl:Thing

•DomainConcept

•Pizza

•VegetarianPizzaEquivalent1

Equivalent Classes (Necessary and Sufficient Conditions)

Pizza

hasTopping ONLY VegetarianTopping

Annotations

rdfs:label

"PizzaVegetarianaEquivalente1" [lang: pt]

Abstract Syntax

Class(VegetarianPizzaEquivalent1 complete annotation(rdfs:label "PizzaVegetarianaEquivalente1"@pt)
                                         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"@en)
                                         Pizza
                                         restriction(hasTopping allValuesFrom(VegetarianTopping)))

Usage

Class Description/Definition (Necessary Conditions)

VegetarianPizzaEquivalent1

Generated with OWLDoc