Class: MeatyPizza

"Any pizza that has at least one meat topping" [lang: en]

•owl:Thing
        •DomainConcept
                •Pizza
                        •MeatyPizza

Equivalent Classes (Necessary and Sufficient Conditions)

Pizza
hasTopping SOME MeatTopping

Annotations

rdfs:label"PizzaDeCarne" [lang: pt]

Abstract Syntax

Class(MeatyPizza complete annotation(rdfs:label "PizzaDeCarne"@pt)
                         annotation(rdfs:comment "Any pizza that has at least one meat topping"@en)
                         Pizza
                         restriction(hasTopping someValuesFrom(MeatTopping)))

Usage

Class Description/Definition (Necessary Conditions)

MeatyPizza
Generated with OWLDoc