github/CommonCoreOntologies
1
1
Fork 0
mirror of https://github.com/CommonCoreOntology/CommonCoreOntologies.git synced 2026-04-27 03:00:27 -04:00
Code Issues Packages Projects Releases Wiki Activity

definition interval equals

Browse Source
This commit is contained in:
oliviahobai
2025-01-17 10:24:58 -05:00
committed by GitHub
parent 40a3587626
commit 10f0757a11
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/cco-modules/TimeOntology.ttl
View File

@@ -96,7 +96,7 @@ cco:ont00001822 rdf:type owl:ObjectProperty ,
rdfs:range obo:BFO_0000038 ;
owl:propertyDisjointWith cco:ont00001862 ;
rdfs:label "interval equals"@en ;
skos:definition "A Temporal Interval INT1 is equal to some Temporal Interval INT2 iff there exists Temporal Instants inst1 and inst2 such that inst1 is the starting instant of both INT1 and INT2 and inst2 is the ending instant of both INT1 and INT2."@en ;
skos:definition "x interval_equals y iff x and y are both instances of One Dimensional Temporal Region and there exist instances of Zero Dimensional Temporal Region w and z such that w is the starting instant of both x and y and z is the ending instant of both x and 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 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI .