@prefix : <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology/> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix cco: <http://www.ontologyrepository.com/CommonCoreOntologies/> .
@prefix mro: <http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/> .
@prefix obo: <http://purl.obolibrary.org/obo/> .
@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 foaf: <http://xmlns.com/foaf/0.1/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology> .

<http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology> rdf:type owl:Ontology ;
                                                                                      rdfs:label "Modal Geospatial Ontology"^^xsd:string ;
                                                                                      owl:versionInfo "December 22, 2017"^^xsd:string ,
                                                                                                      "COPYRIGHT © 2015 CUBRC, Inc."^^xsd:string ;
                                                                                      rdfs:comment "The counterpart modal relations to those contained in the Geospatial Ontology."^^xsd:string ;
                                                                                      owl:versionInfo "Version 1.0.1"^^xsd:string .


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


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/coincides_with
mro:coincides_with rdf:type owl:ObjectProperty ;
                   rdfs:domain obo:BFO_0000141 ;
                   rdfs:range obo:BFO_0000141 ;
                   cco:definition "An immaterial entity im1 coincides with some immaterial entity im2 iff im1 is a spatial part of im2 and im2 is a spatial part of im1."^^xsd:string ;
                   cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology"^^xsd:string ;
                   rdfs:label "coincides with"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/connected_with
mro:connected_with rdf:type owl:ObjectProperty ;
                   rdfs:domain obo:BFO_0000141 ;
                   rdfs:range obo:BFO_0000141 ;
                   cco:definition "An immaterial entity im1 is connected with some immaterial entity im2 iff there exists some immaterial entity im3 that is common to both im1 and im2."^^xsd:string ;
                   cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology"^^xsd:string ;
                   rdfs:label "connected with"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/disconnected_with
mro:disconnected_with rdf:type owl:ObjectProperty ;
                      rdfs:domain obo:BFO_0000141 ;
                      rdfs:range obo:BFO_0000141 ;
                      cco:definition "An immaterial entity im1 is disconnected with some immaterial entity im2 iff there does not exist some immaterial entity im3 that is common to both im1 and im2."^^xsd:string ;
                      cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology"^^xsd:string ;
                      rdfs:label "disconnected with"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/externally_connects_with
mro:externally_connects_with rdf:type owl:ObjectProperty ;
                             rdfs:domain obo:BFO_0000141 ;
                             rdfs:range obo:BFO_0000141 ;
                             cco:definition "An immaterial entity im1 externally connects with some immaterial entity im2 iff im1 connects with im2 and im1 does not overlap with im2."^^xsd:string ;
                             cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology"^^xsd:string ;
                             rdfs:label "externally connects with"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_nontangential_proper_part
mro:has_nontangential_proper_part rdf:type owl:ObjectProperty ;
                                  rdfs:subPropertyOf mro:has_spatial_proper_part ;
                                  owl:inverseOf mro:nontangential_proper_part_of ;
                                  rdf:type owl:TransitiveProperty ;
                                  rdfs:domain obo:BFO_0000141 ;
                                  rdfs:range obo:BFO_0000141 ;
                                  cco:definition "Inverse of nontangential proper part of"^^xsd:string ;
                                  cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology"^^xsd:string ;
                                  rdfs:label "has nontangential proper part"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_spatial_part
mro:has_spatial_part rdf:type owl:ObjectProperty ;
                     rdfs:subPropertyOf mro:has_part ;
                     owl:inverseOf mro:spatial_part_of ;
                     rdf:type owl:TransitiveProperty ;
                     rdfs:domain obo:BFO_0000141 ;
                     rdfs:range obo:BFO_0000141 ;
                     cco:definition "Inverse of spatial part of"^^xsd:string ;
                     cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology"^^xsd:string ;
                     rdfs:label "has spatial part"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_spatial_proper_part
mro:has_spatial_proper_part rdf:type owl:ObjectProperty ;
                            rdfs:subPropertyOf mro:has_proper_part ;
                            owl:inverseOf mro:spatial_proper_part_of ;
                            rdf:type owl:TransitiveProperty ;
                            rdfs:domain obo:BFO_0000141 ;
                            rdfs:range obo:BFO_0000141 ;
                            cco:definition "Inverse of spatial proper part of"^^xsd:string ;
                            cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology"^^xsd:string ;
                            rdfs:label "has spatial proper part"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_tangential_proper_part
mro:has_tangential_proper_part rdf:type owl:ObjectProperty ;
                               rdfs:subPropertyOf mro:has_spatial_proper_part ;
                               owl:inverseOf mro:tangential_proper_part_of ;
                               rdf:type owl:TransitiveProperty ;
                               rdfs:domain obo:BFO_0000141 ;
                               rdfs:range obo:BFO_0000141 ;
                               cco:definition "Inverse of tangential proper part of"^^xsd:string ;
                               cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology"^^xsd:string ;
                               rdfs:label "has tangential proper part"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/nontangential_proper_part_of
mro:nontangential_proper_part_of rdf:type owl:ObjectProperty ;
                                 rdfs:subPropertyOf mro:spatial_proper_part_of ;
                                 rdf:type owl:TransitiveProperty ;
                                 rdfs:domain obo:BFO_0000141 ;
                                 rdfs:range obo:BFO_0000141 ;
                                 cco:definition "An immaterial entity im1 is a nontangential proper part of some immaterial entity im2 iff im1 is a spatial proper part of im2 and there does not exist an immaterial entity im such that im externally connects with im1 and im externally connects with im2."^^xsd:string ;
                                 cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology"^^xsd:string ;
                                 rdfs:label "nontangential proper part of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/overlaps_with
mro:overlaps_with rdf:type owl:ObjectProperty ;
                  rdfs:domain obo:BFO_0000141 ;
                  rdfs:range obo:BFO_0000141 ;
                  cco:definition "An immaterial entity im1 overlaps with some immaterial entity im2 iff there exists some immaterial entity im such that im is a spatial part of im1 and im is a spatial part of im2."^^xsd:string ;
                  cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology"^^xsd:string ;
                  rdfs:label "overlaps with"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/partially_overlaps_with
mro:partially_overlaps_with rdf:type owl:ObjectProperty ;
                            rdfs:domain obo:BFO_0000141 ;
                            rdfs:range obo:BFO_0000141 ;
                            cco:definition "An immaterial entity im1 partially overlaps with some immaterial entity im2 iff im1 overlaps with im2 and im1 is not a spatial part of im2 and im2 is not a spatial part of im1."^^xsd:string ;
                            cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology"^^xsd:string ;
                            rdfs:label "partially overlaps with"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/spatial_part_of
mro:spatial_part_of rdf:type owl:ObjectProperty ;
                    rdfs:subPropertyOf mro:part_of ;
                    rdf:type owl:TransitiveProperty ;
                    rdfs:domain obo:BFO_0000141 ;
                    rdfs:range obo:BFO_0000141 ;
                    cco:definition "An immaterial entity im1 is a spatial part of some immaterial entity im2 iff for every immaterial entity im if im is connected with im1, then im is connected with im2."^^xsd:string ;
                    cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology"^^xsd:string ;
                    rdfs:label "spatial part of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/spatial_proper_part_of
mro:spatial_proper_part_of rdf:type owl:ObjectProperty ;
                           rdfs:subPropertyOf mro:proper_part_of ;
                           rdf:type owl:TransitiveProperty ;
                           rdfs:domain obo:BFO_0000141 ;
                           rdfs:range obo:BFO_0000141 ;
                           cco:definition "An immaterial entity im1 is a spatial proper part of some immaterial entity im2 iff im1 is a spatial part of im2 and im2 is not a spatial part of im1."^^xsd:string ;
                           cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology"^^xsd:string ;
                           rdfs:label "spatial proper part of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/tangential_proper_part_of
mro:tangential_proper_part_of rdf:type owl:ObjectProperty ;
                              rdfs:subPropertyOf mro:spatial_proper_part_of ;
                              rdf:type owl:TransitiveProperty ;
                              rdfs:domain obo:BFO_0000141 ;
                              rdfs:range obo:BFO_0000141 ;
                              cco:definition "An immaterial entity im1 is a tangential proper part of some immaterial entity im2 iff im1 is a proper part of im2 and there exists some immaterial entity im such that im externally connects with im1 and im externally connects with im2."^^xsd:string ;
                              cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology"^^xsd:string ;
                              rdfs:label "tangential proper part of"^^xsd:string .


#################################################################
#    Data properties
#################################################################

###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_latitude_value
mro:has_latitude_value rdf:type owl:DatatypeProperty ;
                       rdfs:range xsd:decimal ;
                       cco:definition "A Data Property that has as its range the latitude value from some Geospatial Location coordinates set expressed in decimal degrees."^^xsd:string ;
                       cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology"^^xsd:string ;
                       rdfs:label "has latitude value"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_longitude_value
mro:has_longitude_value rdf:type owl:DatatypeProperty ;
                        rdfs:range xsd:decimal ;
                        cco:definition "A Data Property that has as its range the longitude value from some Geospatial Location coordinates set expressed in decimal degrees."^^xsd:string ;
                        cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology"^^xsd:string ;
                        rdfs:label "has longitude value"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/ModalRelationOntology/asWKT
mro:asWKT rdf:type owl:DatatypeProperty ;
          rdfs:range <http://www.opengis.net/ont/geosparql#wktLiteral> ;
		  cco:definition "A Data Property that has as its range a string formated according to the Well-known text standardization for geometric objects."^^xsd:string ;
          cco:example_of_usage "Polygon ((10 10, 10 20, 20 20, 20 15, 10 10)), Point ZM (1 2 5 40)"^^xsd:string ;
          cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalGeospatialOntology"^^xsd:string ;
          rdfs:comment "ISO 19162:2015"^^xsd:string ;
          rdfs:label "as WKT"^^xsd:string .


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