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

inverseOf interval contained by

Browse Source 
added owl:inverseOf object property to interval contains
This commit is contained in:
oliviahobai
2025-01-18 12:59:01 -05:00
committed by GitHub
parent 6f6f65414e
commit 09dfe14619
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

@@ -2649,10 +2649,11 @@ mro:ont00001970 rdf:type owl:ObjectProperty ;
### https://www.commoncoreontologies.org/mro/ont00001971
mro:ont00001971 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:mro00000001 ;
owl:inverseOf mro:ont00001924 ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
rdfs:label "interval contained by"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "x interval_contained_by y iff x and y are both instances of One Dimensional Temporal Region and there exist instances of Zero Dimensional Temporal Region u, v, w, and y such that u is the starting instant of x, v is the ending instant of x, w is the starting instant of y, z is the ending instant of y, w is before or identical to u, v is before or identical to z, and it is not the case that both w is identical to u and v is identical to z."@en ;
<http://www.w3.org/2004/02/skos/core#definition> "x interval_contained_by y iff x and y are both instances of One Dimensional Temporal Region and y interval_contains 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> .