From 1173e0a1431e55ff20acd75655d34a1765926efe Mon Sep 17 00:00:00 2001 From: oliviahobai <119642653+oliviahobai@users.noreply.github.com> Date: Mon, 20 Jan 2025 15:52:28 -0500 Subject: [PATCH] definition interval disjoint --- 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 ec074dd..3203960 100644 --- a/src/cco-extensions/ModalRelationOntology.ttl +++ b/src/cco-extensions/ModalRelationOntology.ttl @@ -1592,7 +1592,7 @@ mro:ont00001862 rdf:type owl:ObjectProperty ; mro:ont00001924 , mro:ont00001971 ; rdfs:label "interval disjoint"@en ; - "A Temporal Interval INT1 is disjoint with a Temporal Interval INT2 iff INT1 is before or meets INT2 OR INT2 is before or meets INT1. In other words, INT1 and INT2 are disjoint iff INT1 and INT2 do not overlap, contain, or equal one another."@en ; + "x interval_disjoint y iff x and y are both instances of One Dimensional Temporal Region and have no parts in common."@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 .