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 is after

Browse Source
This commit is contained in:
oliviahobai
2025-01-20 12:54:16 -05:00
committed by GitHub
parent d0135dde7c
commit 052bae7f8f
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

@@ -120,7 +120,7 @@ cco:ont00001847 rdf:type owl:ObjectProperty ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
rdfs:label "interval is after"@en ;
skos:definition "A TemporalInterval INT2 is after some TemporalInterval INT1 iff there exists TemporalInstants inst2, inst1 such that inst2 is the starting instant of INT2 and inst1 is the ending instant of INT1 and inst2 is after inst1."@en ;
skos:definition "x interval_is_after y iff x and y are both instances of One Dimensional Temporal Region and there exist instances of Zero Dimensional Temporal Region w, z such that w is the starting instant of y and z is the ending instant of x and w is after z."@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 .