From 41214006202b03e65eeba908b5fc1764e53325d0 Mon Sep 17 00:00:00 2001 From: oliviahobai <119642653+oliviahobai@users.noreply.github.com> Date: Mon, 20 Jan 2025 13:08:35 -0500 Subject: [PATCH] definition interval meets removed inverseOf object property to "interval met by" --- src/cco-extensions/ModalRelationOntology.ttl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/cco-extensions/ModalRelationOntology.ttl b/src/cco-extensions/ModalRelationOntology.ttl index f8453c6..ec074dd 100644 --- a/src/cco-extensions/ModalRelationOntology.ttl +++ b/src/cco-extensions/ModalRelationOntology.ttl @@ -1931,12 +1931,11 @@ mro:ont00001895 rdf:type owl:ObjectProperty ; ### https://www.commoncoreontologies.org/mro/ont00001896 mro:ont00001896 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:ont00001862 ; - owl:inverseOf mro:ont00001915 ; rdf:type owl:IrreflexiveProperty ; rdfs:domain obo:BFO_0000038 ; rdfs:range obo:BFO_0000038 ; rdfs:label "interval meets"@en ; - "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 ; + "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 .