definition interval disjoint

This commit is contained in:
oliviahobai
2025-01-20 15:52:28 -05:00
committed by GitHub
parent c7e619e91e
commit 1173e0a143

View File

@@ -1592,7 +1592,7 @@ mro:ont00001862 rdf:type owl:ObjectProperty ;
mro:ont00001924 ,
mro:ont00001971 ;
rdfs:label "interval disjoint"@en ;
<http://www.w3.org/2004/02/skos/core#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 ;
<http://www.w3.org/2004/02/skos/core#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 741747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ;
cco:ont00001760 <https://www.commoncoreontologies.org/ModalRelationOntology> .