From 77bbc7c8e0be482fc6f85bc817e4363f0af2dfe5 Mon Sep 17 00:00:00 2001 From: Cameron More <123985185+cameronmore@users.noreply.github.com> Date: Mon, 12 Aug 2024 08:40:38 -0400 Subject: [PATCH 1/3] changed label and def of has member located in --- ExtendedRelationOntology.ttl | 4 ++-- ModalRelationOntology.ttl | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/ExtendedRelationOntology.ttl b/ExtendedRelationOntology.ttl index 859c8b6..f169c0c 100644 --- a/ExtendedRelationOntology.ttl +++ b/ExtendedRelationOntology.ttl @@ -392,9 +392,9 @@ cco:has_input rdf:type owl:ObjectProperty ; cco:has_member_of_located_in rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000027 ; rdfs:range obo:BFO_0000040 ; - cco:definition "An instance of an Object Aggregate 'has member of located in' an instance of some material entity if and only if every member of that Aggregate is located in the same instance of that material entity."@en ; + cco:definition "x has member of located in y iff x is an instance of Object Aggregate and y is an instance of Material Entity, and every member of x is located in y."@en ; cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ExtendedRelationOntology"^^xsd:anyURI ; - rdfs:label "has member of located in"@en . + rdfs:label "has all members of located in"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/has_object diff --git a/ModalRelationOntology.ttl b/ModalRelationOntology.ttl index 1662433..02430c0 100644 --- a/ModalRelationOntology.ttl +++ b/ModalRelationOntology.ttl @@ -1192,9 +1192,9 @@ mro:has_member_of_located_in rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:ModalObjectProperty ; rdfs:domain obo:BFO_0000027 ; rdfs:range obo:BFO_0000040 ; - cco:definition "An instance of an Object Aggregate 'has member of located in' an instance of some material entity if and only if every member of that Aggregate is located in the same instance of that material entity."@en ; + cco:definition "x has member of located in y iff x is an instance of Object Aggregate and y is an instance of Material Entity, and every member of x is located in y."@en ; cco:is_curated_in_ontology ; - rdfs:label "has member of located in"@en . + rdfs:label "has all members of located in"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_mother From ad716da2b2710772d81f640f446ad55b9d14dba1 Mon Sep 17 00:00:00 2001 From: Cameron More <123985185+cameronmore@users.noreply.github.com> Date: Mon, 12 Aug 2024 08:52:52 -0400 Subject: [PATCH 2/3] added has some member of located in --- ExtendedRelationOntology.ttl | 11 ++++++++++- ModalRelationOntology.ttl | 10 +++++++++- 2 files changed, 19 insertions(+), 2 deletions(-) diff --git a/ExtendedRelationOntology.ttl b/ExtendedRelationOntology.ttl index f169c0c..3b861dd 100644 --- a/ExtendedRelationOntology.ttl +++ b/ExtendedRelationOntology.ttl @@ -390,6 +390,7 @@ cco:has_input rdf:type owl:ObjectProperty ; ### http://www.ontologyrepository.com/CommonCoreOntologies/has_member_of_located_in cco:has_member_of_located_in rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf cco:has_some_member_of_located_in ; rdfs:domain obo:BFO_0000027 ; rdfs:range obo:BFO_0000040 ; cco:definition "x has member of located in y iff x is an instance of Object Aggregate and y is an instance of Material Entity, and every member of x is located in y."@en ; @@ -429,6 +430,14 @@ cco:has_process_part rdf:type owl:ObjectProperty ; rdfs:label "has process part"@en . +### http://www.ontologyrepository.com/CommonCoreOntologies/has_some_member_of_located_in +cco:has_some_member_of_located_in rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf owl:topObjectProperty ; + cco:definition "x has member of located in y iff x is an instance of Object Aggregate and y is an instance of Material Entity, and at least one member of x is located in y."@en ; + cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ExtendedRelationOntology"^^xsd:anyURI ; + rdfs:label "has some member of located in"@en . + + ### http://www.ontologyrepository.com/CommonCoreOntologies/inheres_in_aggregate cco:inheres_in_aggregate rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; @@ -625,4 +634,4 @@ cco:role_of_aggregate rdf:type owl:ObjectProperty ; rdfs:label "role of aggregate"@en . -### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi +### Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi diff --git a/ModalRelationOntology.ttl b/ModalRelationOntology.ttl index 02430c0..418d2c4 100644 --- a/ModalRelationOntology.ttl +++ b/ModalRelationOntology.ttl @@ -1189,7 +1189,7 @@ mro:has_maternal_uncle rdf:type owl:ObjectProperty ; ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_member_of_located_in mro:has_member_of_located_in rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; + rdfs:subPropertyOf mro:has_some_member_of_located_in ; rdfs:domain obo:BFO_0000027 ; rdfs:range obo:BFO_0000040 ; cco:definition "x has member of located in y iff x is an instance of Object Aggregate and y is an instance of Material Entity, and every member of x is located in y."@en ; @@ -1368,6 +1368,14 @@ mro:has_sister_in_law rdf:type owl:ObjectProperty ; rdfs:label "has sister in law"@en . +### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_some_member_of_located_in +mro:has_some_member_of_located_in rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf mro:ModalObjectProperty ; + cco:definition "x has member of located in y iff x is an instance of Object Aggregate and y is an instance of Material Entity, and at least one member of x is located in y."@en ; + cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology"^^xsd:anyURI ; + rdfs:label "has some member of located in"@en . + + ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_son mro:has_son rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:is_parent_of ; From aa4d36b4937af168ab3a3a866d10d854b48bda4c Mon Sep 17 00:00:00 2001 From: Cameron More <123985185+cameronmore@users.noreply.github.com> Date: Tue, 13 Aug 2024 09:13:52 -0400 Subject: [PATCH 3/3] updated definition to reflect label --- ExtendedRelationOntology.ttl | 2 +- ModalRelationOntology.ttl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ExtendedRelationOntology.ttl b/ExtendedRelationOntology.ttl index 3b861dd..00b5ecc 100644 --- a/ExtendedRelationOntology.ttl +++ b/ExtendedRelationOntology.ttl @@ -393,7 +393,7 @@ cco:has_member_of_located_in rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:has_some_member_of_located_in ; rdfs:domain obo:BFO_0000027 ; rdfs:range obo:BFO_0000040 ; - cco:definition "x has member of located in y iff x is an instance of Object Aggregate and y is an instance of Material Entity, and every member of x is located in y."@en ; + cco:definition "x has all members of located in y iff x is an instance of Object Aggregate and y is an instance of Material Entity, and every member of x is located in y."@en ; cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ExtendedRelationOntology"^^xsd:anyURI ; rdfs:label "has all members of located in"@en . diff --git a/ModalRelationOntology.ttl b/ModalRelationOntology.ttl index 418d2c4..ee9ff5f 100644 --- a/ModalRelationOntology.ttl +++ b/ModalRelationOntology.ttl @@ -1192,7 +1192,7 @@ mro:has_member_of_located_in rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:has_some_member_of_located_in ; rdfs:domain obo:BFO_0000027 ; rdfs:range obo:BFO_0000040 ; - cco:definition "x has member of located in y iff x is an instance of Object Aggregate and y is an instance of Material Entity, and every member of x is located in y."@en ; + cco:definition "x has all members of located in y iff x is an instance of Object Aggregate and y is an instance of Material Entity, and every member of x is located in y."@en ; cco:is_curated_in_ontology ; rdfs:label "has all members of located in"@en .