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

Browse Source 
added owl:inverseOf object property to interval contains
This commit is contained in:
oliviahobai
2025-01-18 12:54:14 -05:00
committed by GitHub
parent 805e93d986
commit a2d14a9afa
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -255,10 +255,11 @@ cco:ont00001940 rdf:type owl:ObjectProperty ;
### https://www.commoncoreontologies.org/ont00001971
cco:ont00001971 rdf:type owl:ObjectProperty ;
owl:inverseOf cco:ont00001924 ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
rdfs:label "interval contained by"@en ;
skos: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 ;
skos: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/TimeOntology"^^xsd:anyURI .