http://www.loa-cnr.it/ontologies/DOLCE-Lite#quality-space
A quality space is a topologically maximal region. The constraint of maximality cannot be given completely in OWL, but a constraint is given that creates a partition out of all quality spaces (e.g. no two quality spaces can overlap mereologically).
Instances of dol:quality-space can have the following properties:
| PROPERTY | TYPE | DESCRIPTION | RANGE |
|---|
@prefix dol: <http://www.loa-cnr.it/ontologies/DOLCE-Lite#> .
@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 xsd: <http://www.w3.org/2001/XMLSchema#> .
dol:quality-space a owl:Class ;
rdfs:comment "A quality space is a topologically maximal region. The constraint of maximality cannot be given completely in OWL, but a constraint is given that creates a partition out of all quality spaces (e.g. no two quality spaces can overlap mereologically)."^^xsd:string ;
owl:equivalentClass [ a owl:Class ;
owl:intersectionOf ( dol:region [ a owl:Restriction ;
owl:allValuesFrom [ a owl:Class ;
owl:complementOf dol:quality-space ] ;
owl:onProperty dol:overlaps ] ) ] .