From c7e619e91e1920537594d457d1950a07a0274f95 Mon Sep 17 00:00:00 2001
From: oliviahobai <119642653+oliviahobai@users.noreply.github.com>
Date: Mon, 20 Jan 2025 13:09:23 -0500
Subject: [PATCH] definition interval meets

removed inverseOf object property to "interval met by"
---
 src/cco-modules/TimeOntology.ttl | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/cco-modules/TimeOntology.ttl b/src/cco-modules/TimeOntology.ttl
index 9050a3c..9475c12 100644
--- a/src/cco-modules/TimeOntology.ttl
+++ b/src/cco-modules/TimeOntology.ttl
@@ -198,12 +198,11 @@ cco:ont00001893 rdf:type owl:ObjectProperty ;
 ###  https://www.commoncoreontologies.org/ont00001896
 cco:ont00001896 rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf cco:ont00001862 ;
-                 owl:inverseOf cco:ont00001915 ;
                  rdf:type owl:IrreflexiveProperty ;
                  rdfs:domain obo:BFO_0000038 ;
                  rdfs:range obo:BFO_0000038 ;
                  rdfs:label "interval meets"@en ;
-                 skos:definition "A Temporal Interval INT1 meets some Temporal Interval INT2 iff there exists some Temporal Instant inst1 such that inst1 is the ending instant of INT1 and inst1 is the starting instant of INT2."@en ;
+                 skos:definition "x interval_meets y iff x and y are both instances of One Dimensional Temporal Region and there exists some instance of Zero Dimensional Temporal Region z such that z is the ending instant of x and z is the starting instant of y."@en ;
                  cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983)  pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ;
                  cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI .