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

Browse Source 
added inverseOf object property to "interval meets"
This commit is contained in:
oliviahobai
2025-01-20 13:05:57 -05:00
committed by GitHub
parent f0de6b3fbf
commit f093d49561
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

@@ -2122,10 +2122,11 @@ mro:ont00001914 rdf:type owl:ObjectProperty ;
mro:ont00001915 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ont00001862 ;
rdf:type owl:IrreflexiveProperty ;
owl:inverseOf mro:ont00001896 ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
rdfs:label "interval met by"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "A Temporal Interval INT2 is met by some Temporal Interval INT1 iff there exists some Temporal Instant inst1 such that inst1 is the starting instant of INT2 and inst1 is the ending instant of INT1."@en ;
<http://www.w3.org/2004/02/skos/core#definition> "x interval_met_by y iff x and y are both instances of One Dimensional Temporal Region and y interval_meets 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> .