From a2d14a9afa53e533dab707ac8639a684a5d7402b Mon Sep 17 00:00:00 2001
From: oliviahobai <119642653+oliviahobai@users.noreply.github.com>
Date: Sat, 18 Jan 2025 12:54:14 -0500
Subject: [PATCH] definition interval contained by

added owl:inverseOf object property to interval contains
---
 src/cco-modules/TimeOntology.ttl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/cco-modules/TimeOntology.ttl b/src/cco-modules/TimeOntology.ttl
index 60c8f01..06f08ad 100644
--- a/src/cco-modules/TimeOntology.ttl
+++ b/src/cco-modules/TimeOntology.ttl
@@ -255,10 +255,11 @@ cco:ont00001940 rdf:type owl:ObjectProperty ;
 
 ###  https://www.commoncoreontologies.org/ont00001971
 cco:ont00001971 rdf:type owl:ObjectProperty ;
+                 owl:inverseOf cco:ont00001924 ;
                  rdfs:domain obo:BFO_0000038 ;
                  rdfs:range obo:BFO_0000038 ;
                  rdfs:label "interval contained by"@en ;
-                 skos:definition "x interval_contained_by y iff x and y are both instances of One Dimensional Temporal Region and there exist instances of Zero Dimensional Temporal Region u, v, w, and y such that u is the starting instant of x, v is the ending instant of x, w is the starting instant of y, z is the ending instant of y, w is before or identical to u, v is before or identical to z, and it is not the case that both w is identical to u and v is identical to z."@en ;
+                 skos:definition "x interval_contained_by y iff x and y are both instances of One Dimensional Temporal Region and y interval_contains x."@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 .