diff --git a/src/cco-extensions/ModalRelationOntology.ttl b/src/cco-extensions/ModalRelationOntology.ttl index f8453c6..ec074dd 100644 --- a/src/cco-extensions/ModalRelationOntology.ttl +++ b/src/cco-extensions/ModalRelationOntology.ttl @@ -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 ; - "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 ; + "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 .