Class: CheeseyPizza

"Any pizza that has at least 1 cheese topping." [lang: en]

•owl:Thing

•DomainConcept

•Pizza

•CheeseyPizza

Equivalent Classes (Necessary and Sufficient Conditions)

hasTopping SOME CheeseTopping

Pizza

Annotations

rdfs:label

"PizzaComQueijo" [lang: pt]

Abstract Syntax

Class(CheeseyPizza complete annotation(rdfs:label "PizzaComQueijo"@pt)
                           annotation(rdfs:comment "Any pizza that has at least 1 cheese topping."@en)
                           restriction(hasTopping someValuesFrom(CheeseTopping))
                           Pizza)

Usage

Class Description/Definition (Necessary Conditions)

CheeseyPizza

Generated with OWLDoc