@prefix : <https://w3id.org/narn/rcc/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <https://w3id.org/narn/rcc/> .

<https://w3id.org/narn/rcc/> rdf:type owl:Ontology ;
                              owl:imports <https://w3id.org/narn/location/> ;
                              rdfs:comment "An OWL encoding of the Region Connection Calculus."@en ;
                              rdfs:label "RCC Ontology"@en ;
                              <https://purl.org/dc/terms/created> "2026-03-13"^^xsd:date ;
                              <https://purl.org/dc/terms/creator> <https://w3id.org/people/erdemonal/me> ;
                              <https://purl.org/dc/terms/modified> "2026-03-19"^^xsd:date ;
                              <https://purl.org/vocab/vann/preferredNamespacePrefix> "rcc" ;
                              <https://purl.org/vocab/vann/preferredNamespaceUri> "https://w3id.org/narn/rcc/" .

#################################################################
#    Object Properties
#################################################################

###  https://w3id.org/narn/location/borders
<https://w3id.org/narn/location/borders> owl:propertyDisjointWith :DC .


###  https://w3id.org/narn/location/contains
<https://w3id.org/narn/location/contains> owl:propertyDisjointWith :DC ,
                                                                   :EC ,
                                                                   :PO .


###  https://w3id.org/narn/location/isAPartOf
<https://w3id.org/narn/location/isAPartOf> owl:propertyDisjointWith :DC ,
                                                                    :EC ,
                                                                    :PO .


###  https://w3id.org/narn/location/isNear
<https://w3id.org/narn/location/isNear> owl:propertyDisjointWith :DC .


###  https://w3id.org/narn/rcc/DC
:DC rdf:type owl:ObjectProperty ;
    rdfs:subPropertyOf :spatiallyRelatedTo ;
    rdf:type owl:SymmetricProperty ,
             owl:IrreflexiveProperty ;
    rdfs:comment "Describes a spatial relation where two regions are strictly disjoint and share no spatial points."@en ;
    rdfs:label "disconnected"@en ;
    <http://www.w3.org/2004/02/skos/core#altLabel> "disjoint regions"@en ;
    <http://www.w3.org/2004/02/skos/core#example> "Angband and Doriath are disconnected since they share no spatial regions."@en .


###  https://w3id.org/narn/rcc/EC
:EC rdf:type owl:ObjectProperty ;
    rdfs:subPropertyOf <https://w3id.org/narn/location/borders> ,
                       :spatiallyRelatedTo ;
    rdf:type owl:SymmetricProperty ,
             owl:IrreflexiveProperty ;
    owl:propertyDisjointWith :NTPP ;
    rdfs:comment "Denotes a relation where the boundaries of two regions intersect while their interiors remain disjoint."@en ;
    rdfs:label "externally connected"@en ;
    <http://www.w3.org/2004/02/skos/core#altLabel> "touching regions"@en ;
    <http://www.w3.org/2004/02/skos/core#example> "Brethil is externally connected to Doriath because their boundaries touch."@en .


###  https://w3id.org/narn/rcc/EQ
:EQ rdf:type owl:ObjectProperty ;
    rdfs:subPropertyOf <https://w3id.org/narn/location/contains> ,
                       <https://w3id.org/narn/location/isAPartOf> ,
                       :spatiallyRelatedTo ;
    rdf:type owl:SymmetricProperty ,
             owl:TransitiveProperty ,
             owl:ReflexiveProperty ;
    rdfs:comment "Represents spatial equivalence where two distinct entities occupy the exact identical spatial extent."@en ;
    rdfs:label "equal"@en ;
    <http://www.w3.org/2004/02/skos/core#altLabel> "coextensive regions"@en ;
    <http://www.w3.org/2004/02/skos/core#example> "The Thousand Caves and Menegroth are spatially equal entities."@en .


###  https://w3id.org/narn/rcc/NTPP
:NTPP rdf:type owl:ObjectProperty ;
      rdfs:subPropertyOf <https://w3id.org/narn/location/isAPartOf> ,
                         :spatiallyRelatedTo ;
      rdf:type owl:AsymmetricProperty ,
               owl:TransitiveProperty ,
               owl:IrreflexiveProperty ;
      rdfs:comment "Specifies a relation where the primary region is strictly contained within the interior of the secondary region with no shared boundary points."@en ;
      rdfs:label "non-tangential proper part"@en ;
      <http://www.w3.org/2004/02/skos/core#altLabel> "interior part"@en ;
      <http://www.w3.org/2004/02/skos/core#example> "Dor-lómin is a non-tangential proper part of Hithlum as it is completely enclosed."@en .


###  https://w3id.org/narn/rcc/NTPPi
:NTPPi rdf:type owl:ObjectProperty ;
       rdfs:subPropertyOf <https://w3id.org/narn/location/contains> ,
                          :spatiallyRelatedTo ;
       owl:inverseOf :NTPP ;
       rdf:type owl:AsymmetricProperty ,
                owl:TransitiveProperty ,
                owl:IrreflexiveProperty ;
       rdfs:comment "The inverse relation where the primary region completely and strictly contains the secondary region within its interior."@en ;
       rdfs:label "non-tangential proper part inverse"@en ;
       <http://www.w3.org/2004/02/skos/core#altLabel> "interior whole"@en ;
       <http://www.w3.org/2004/02/skos/core#example> "Hithlum is the non-tangential proper part inverse of Dor-lómin."@en .


###  https://w3id.org/narn/rcc/PO
:PO rdf:type owl:ObjectProperty ;
    rdfs:subPropertyOf :spatiallyRelatedTo ;
    rdf:type owl:SymmetricProperty ,
             owl:IrreflexiveProperty ;
    rdfs:comment "Indicates that two regions share a common interior subset without either fully subsuming the other."@en ;
    rdfs:label "partially overlapping"@en ;
    <http://www.w3.org/2004/02/skos/core#altLabel> "overlapping regions"@en ;
    <http://www.w3.org/2004/02/skos/core#example> "The wild lands partially overlap with Brethil."@en .


###  https://w3id.org/narn/rcc/TPP
:TPP rdf:type owl:ObjectProperty ;
     rdfs:subPropertyOf <https://w3id.org/narn/location/isAPartOf> ,
                        :spatiallyRelatedTo ;
     rdf:type owl:AsymmetricProperty ,
              owl:IrreflexiveProperty ;
     rdfs:comment "Defines a state where the primary region is entirely subsumed by the secondary region while sharing at least one boundary point."@en ;
     rdfs:label "tangential proper part"@en ;
     <http://www.w3.org/2004/02/skos/core#altLabel> "tangential part"@en ;
     <http://www.w3.org/2004/02/skos/core#example> "Hithlum is a tangential proper part of Beleriand."@en .


###  https://w3id.org/narn/rcc/TPPi
:TPPi rdf:type owl:ObjectProperty ;
      rdfs:subPropertyOf <https://w3id.org/narn/location/contains> ,
                         :spatiallyRelatedTo ;
      owl:inverseOf :TPP ;
      rdf:type owl:AsymmetricProperty ,
               owl:IrreflexiveProperty ;
      rdfs:comment "The inverse relation where the primary region completely subsumes the secondary region while sharing boundary points."@en ;
      rdfs:label "tangential proper part inverse"@en ;
      <http://www.w3.org/2004/02/skos/core#altLabel> "tangential whole"@en ;
      <http://www.w3.org/2004/02/skos/core#example> "Beleriand represents the tangential proper part inverse of Hithlum."@en .


###  https://w3id.org/narn/rcc/spatiallyRelatedTo
:spatiallyRelatedTo rdf:type owl:ObjectProperty ,
                             owl:SymmetricProperty ;
                    rdfs:domain <https://w3id.org/narn/location/Place> ;
                    rdfs:range <https://w3id.org/narn/location/Place> ;
                    rdfs:comment "The most general spatial relation between two regions."@en ;
                    rdfs:label "spatially related to"@en ;
                    <http://www.w3.org/2004/02/skos/core#altLabel> "spatial relation"@en ;
                    <http://www.w3.org/2004/02/skos/core#example> "Doriath is spatially related to Brethil."@en .


#################################################################
#    General axioms
#################################################################

[ rdf:type owl:AllDisjointProperties ;
  owl:members ( :DC
                :EC
                :EQ
                :NTPP
                :NTPPi
                :PO
                :TPP
                :TPPi
              )
] .


###  Generated by the OWL API (version 5.1.18) https://github.com/owlcs/owlapi/