1. Home
  2. Entities
  3. Classes
  4. DOLCEbasic:SpaceRegion

DOLCEbasic:SpaceRegion leaf node

URI

https://w3id.org/DOLCE/OWL/DOLCEbasic#SpaceRegion

Label

Space Region

Description

A Space Region is a physical region, possibly disconnected, for spatial locations (examples: the region occupied by Earth in this moment, the region where it snowed in the year 1900).

Superclasses (4)

Usage

Instances of DOLCEbasic:SpaceRegion can have the following properties:

PROPERTYTYPEDESCRIPTIONRANGE

Implementation

@prefix : <https://w3id.org/DOLCE/OWL/DOLCEbasic#> .
@prefix ace_lexicon: <http://attempto.ifi.uzh.ch/ace_lexicon#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:SpaceRegion a owl:Class ;
    rdfs:label "Space Region" ;
    ace_lexicon:CN_pl "space regions" ;
    ace_lexicon:CN_sg "space region" ;
    rdfs:comment "A Space Region is a physical region, possibly disconnected, for spatial locations (examples: the region occupied by Earth in this moment, the region where it snowed in the year 1900)." ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom :SpatialLocation ;
            owl:onProperty :constantQualeOf ],
        [ a owl:Restriction ;
            owl:allValuesFrom :SpaceRegion ;
            owl:onProperty :partOf ],
        [ a owl:Restriction ;
            owl:allValuesFrom :SpaceRegion ;
            owl:onProperty [ owl:inverseOf :partOf ] ],
        :PhysicalRegion .