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 finished by

Browse Source 
added owl:inverseOf object property to "interval finishes"
This commit is contained in:
oliviahobai
2025-01-18 11:47:02 -05:00
committed by GitHub
parent 4ecfd02565
commit 8db80ac48d
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/cco-extensions/ModalRelationOntology.ttl
View File

@@ -1166,10 +1166,11 @@ mro:ont00001820 rdf:type owl:ObjectProperty ;
### https://www.commoncoreontologies.org/mro/ont00001821
mro:ont00001821 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ont00001924 ;
owl:inverseOf mro:ont00001814 ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
rdfs:label "interval finished by"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "A Temporal Interval INT2 is finished by some Temporal Interval INT1 iff there exists Temporal Instants inst1, inst2, and inst3 such that inst 1 is the starting instant of INT1, inst2 is the ending instant of both INT1 and INT2, inst3 is the starting instant of INT2, and inst3 is before inst1."@en ;
<http://www.w3.org/2004/02/skos/core#definition> "x interval_finished_by y iff x and y are both instances of One Dimensional Temporal Region and y interval_finishes x."@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/ModalRelationOntology> .