dol:exact-location


URI

http://www.loa-cnr.it/ontologies/DOLCE-Lite#exact-location

Label

exact-location

Description

A location relation bounded to regions and defined analytically through the composition of inherence and q-location. This is the analytical version of 'generic location'.

Usage

DOMAINPROPERTYRANGE
dol:particular dol:exact-location dol:region

Implementation

@prefix dol: <http://www.loa-cnr.it/ontologies/DOLCE-Lite#> .
@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#> .

dol:exact-location a owl:ObjectProperty ;
    rdfs:comment "A location relation bounded to regions and defined analytically through the composition of inherence and q-location. This is the analytical version of 'generic location'."^^xsd:string ;
    rdfs:domain dol:particular ;
    rdfs:range dol:region ;
    rdfs:subPropertyOf dol:generic-location ;
    owl:inverseOf dol:exact-location-of .