Class: SpicyPizza

"Any pizza that has a spicy topping is a SpicyPizza" [lang: en]

•owl:Thing

•DomainConcept

•Pizza

•SpicyPizza

Equivalent Classes (Necessary and Sufficient Conditions)

Pizza

hasTopping SOME SpicyTopping

Annotations

rdfs:label

"PizzaTemperada" [lang: pt]

Abstract Syntax

Class(SpicyPizza complete annotation(rdfs:label "PizzaTemperada"@pt)
                         annotation(rdfs:comment "Any pizza that has a spicy topping is a SpicyPizza"@en)
                         Pizza
                         restriction(hasTopping someValuesFrom(SpicyTopping)))

Usage

Class Description/Definition (Necessary Conditions)

SpicyPizza

Generated with OWLDoc