Class: InterestingPizza

Any pizza that has at least 3 toppings. Note that this is a cardinality constraint on the hasTopping property and NOT a qualified cardinality constraint (QCR). A QCR would specify from which class the members in this relationship must be. eg has at least 3 toppings from PizzaTopping. This is currently not supported in OWL.

•owl:Thing

•DomainConcept

•Pizza

•InterestingPizza

Equivalent Classes (Necessary and Sufficient Conditions)

hasTopping MIN 3

Pizza

Abstract Syntax

Class(InterestingPizza complete annotation(rdfs:comment "Any pizza that has at least 3 toppings. Note that this is a cardinality constraint on the hasTopping property and NOT a qualified cardinality constraint (QCR). A QCR would specify from which class the members in this relationship must be. eg has at least 3 toppings from PizzaTopping. This is currently not supported in OWL."^^<http://www.w3.org/2001/XMLSchema#string>)
                               restriction(hasTopping minCardinality(3))
                               Pizza)

Usage

Class Description/Definition (Necessary Conditions)

InterestingPizza

Generated with OWLDoc