From 1554f305bf8de36e293bf0c819d22fc302523b22 Mon Sep 17 00:00:00 2001 From: oliviahobai <119642653+oliviahobai@users.noreply.github.com> Date: Mon, 20 Jan 2025 08:06:37 -0500 Subject: [PATCH] definition interval started by --- src/cco-extensions/ModalRelationOntology.ttl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cco-extensions/ModalRelationOntology.ttl b/src/cco-extensions/ModalRelationOntology.ttl index 858e72b..ba120d7 100644 --- a/src/cco-extensions/ModalRelationOntology.ttl +++ b/src/cco-extensions/ModalRelationOntology.ttl @@ -1733,7 +1733,7 @@ mro:ont00001875 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000038 ; rdfs:range obo:BFO_0000038 ; rdfs:label "interval started by"@en ; - "A Temporal Interval INT2 is started by some Temporal Interval INT1 iff there exist Temporal Instants inst1, inst2, and inst3 such that inst1 is the starting instant of both INT1 and INT2, inst2 is the ending instant of INT1, inst3 is the ending instant of INT2 and inst2 is before inst3."@en ; + "x interval_started_by y iff x and y are both instances of One Dimensional Temporal Region and y interval_starts 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 .