pizza.owl:ValuePartition


URI

http://www.co-ode.org/ontologies/pizza/pizza.owl#ValuePartition

Label

ValorDaParticao

Description

A ValuePartition is a pattern that describes a restricted set of classes from which a property can be associated. The parent class is used in restrictions, and the covering axiom means that only members of the subclasses may be used as values. The possible subclasses cannot be extended without updating the ValuePartition class.

Usage

Instances of pizza.owl:ValuePartition can have the following properties:

PROPERTYTYPEDESCRIPTIONRANGE
From class owl:Thing
pizza.owl:hasCountryOfOrigin owl:ObjectProperty owl:Thing
pizza.owl:hasSpiciness owl:FunctionalProperty A property created to be used with the ValuePartition - Spiciness. pizza.owl:Spiciness

Implementation

@prefix : <http://www.co-ode.org/ontologies/pizza/pizza.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

:ValuePartition a owl:Class ;
    rdfs:label "ValorDaParticao"@pt ;
    rdfs:comment "A ValuePartition is a pattern that describes a restricted set of classes from which a property can be associated. The parent class is used in restrictions, and the covering axiom means that only members of the subclasses may be used as values. The possible subclasses cannot be extended without updating the ValuePartition class."^^xsd:string ;
    owl:disjointWith :DomainConcept .