From f0de6b3fbf93af76c8533fb7cf8b70737f140308 Mon Sep 17 00:00:00 2001
From: oliviahobai <119642653+oliviahobai@users.noreply.github.com>
Date: Mon, 20 Jan 2025 13:04:28 -0500
Subject: [PATCH] definition interval met by

added inverseOf object property to "interval meets"
---
 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 e6dccf5..9050a3c 100644
--- a/src/cco-modules/TimeOntology.ttl
+++ b/src/cco-modules/TimeOntology.ttl
@@ -212,10 +212,11 @@ cco:ont00001896 rdf:type owl:ObjectProperty ;
 cco:ont00001915 rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf cco:ont00001862 ;
                  rdf:type owl:IrreflexiveProperty ;
+                 owl:inverseOf cco:ont00001896 ;
                  rdfs:domain obo:BFO_0000038 ;
                  rdfs:range obo:BFO_0000038 ;
                  rdfs:label "interval met by"@en ;
-                 skos:definition "A Temporal Interval INT2 is met by some Temporal Interval INT1 iff there exists some Temporal Instant inst1 such that inst1 is the starting instant of INT2 and inst1 is the ending instant of INT1."@en ;
+                 skos:definition "x interval_met_by y iff x and y are both instances of One Dimensional Temporal Region and y interval_meets 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 .