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 meets

Browse Source 
removed inverseOf object property to "interval met by"
This commit is contained in:
oliviahobai
2025-01-20 13:09:23 -05:00
committed by GitHub
parent 4121400620
commit c7e619e91e
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -198,12 +198,11 @@ cco:ont00001893 rdf:type owl:ObjectProperty ;
### https://www.commoncoreontologies.org/ont00001896
cco:ont00001896 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf cco:ont00001862 ;
owl:inverseOf cco:ont00001915 ;
rdf:type owl:IrreflexiveProperty ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
rdfs:label "interval meets"@en ;
skos:definition "A Temporal Interval INT1 meets some Temporal Interval INT2 iff there exists some Temporal Instant inst1 such that inst1 is the ending instant of INT1 and inst1 is the starting instant of INT2."@en ;
skos:definition "x interval_meets y iff x and y are both instances of One Dimensional Temporal Region and there exists some instance of Zero Dimensional Temporal Region z such that z is the ending instant of x and z is the starting instant of y."@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 .