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:08:35 -05:00
committed by GitHub
parent f093d49561
commit 4121400620
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1931,12 +1931,11 @@ mro:ont00001895 rdf:type owl:ObjectProperty ;
### https://www.commoncoreontologies.org/mro/ont00001896
mro:ont00001896 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ont00001862 ;
owl:inverseOf mro:ont00001915 ;
rdf:type owl:IrreflexiveProperty ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
rdfs:label "interval meets"@en ;
<http://www.w3.org/2004/02/skos/core#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 ;
<http://www.w3.org/2004/02/skos/core#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/ModalRelationOntology> .