From 09dfe146192c3b5024ce792727fbf538f0fcb7a4 Mon Sep 17 00:00:00 2001 From: oliviahobai <119642653+oliviahobai@users.noreply.github.com> Date: Sat, 18 Jan 2025 12:59:01 -0500 Subject: [PATCH] inverseOf interval contained by added owl:inverseOf object property to interval contains --- src/cco-extensions/ModalRelationOntology.ttl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/cco-extensions/ModalRelationOntology.ttl b/src/cco-extensions/ModalRelationOntology.ttl index 9319c07..939435c 100644 --- a/src/cco-extensions/ModalRelationOntology.ttl +++ b/src/cco-extensions/ModalRelationOntology.ttl @@ -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 ; - "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 ; + "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 .