http://www.co-ode.org/ontologies/pizza/pizza.owl#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.
Instances of pizza.owl:InterestingPizza can have the following properties:
| PROPERTY | TYPE | DESCRIPTION | RANGE |
|---|
@prefix : <http://www.co-ode.org/ontologies/pizza/pizza.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
:InterestingPizza a owl:Class ;
rdfs:label "InterestingPizza"@en,
"PizzaInteressante"@pt ;
owl:equivalentClass [ a owl:Class ;
owl:intersectionOf ( :Pizza [ a owl:Restriction ;
owl:minCardinality "3"^^xsd:nonNegativeInteger ;
owl:onProperty :hasTopping ] ) ] ;
skos:definition "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."@en ;
skos:prefLabel "Interesting Pizza"@en .