From aac1bd8ce8239630c4e04e85cb96ce355382bc5f Mon Sep 17 00:00:00 2001 From: oliviahobai <119642653+oliviahobai@users.noreply.github.com> Date: Mon, 20 Jan 2025 15:53:03 -0500 Subject: [PATCH] definition interval disjoint --- src/cco-modules/TimeOntology.ttl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cco-modules/TimeOntology.ttl b/src/cco-modules/TimeOntology.ttl index 9475c12..37e1c82 100644 --- a/src/cco-modules/TimeOntology.ttl +++ b/src/cco-modules/TimeOntology.ttl @@ -143,7 +143,7 @@ cco:ont00001862 rdf:type owl:ObjectProperty ; cco:ont00001924 , cco:ont00001971 ; rdfs:label "interval disjoint"@en ; - skos:definition "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 ; + skos:definition "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 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI .