From aec2aceb67639e18626139d1065f26918822f6c3 Mon Sep 17 00:00:00 2001
From: Pier Luigi Buttigieg
Date: Fri, 6 Dec 2024 23:50:37 +0100
Subject: [PATCH] Technospheres, dental clinics, and facilities - oh my!
(#1544)
* groundwork for #1538
* groundwork for #1538 2
* addressing #1538 with facility revisions
---------
Co-authored-by: Chris Mungall
---
src/envo/envo-edit.owl | 94 ++++++++++++++++++++++++++----------------
1 file changed, 58 insertions(+), 36 deletions(-)
diff --git a/src/envo/envo-edit.owl b/src/envo/envo-edit.owl
index e2794ea5..93456c9f 100644
--- a/src/envo/envo-edit.owl
+++ b/src/envo/envo-edit.owl
@@ -3261,6 +3261,8 @@ Declaration(Class())
Declaration(Class())
Declaration(Class())
Declaration(Class())
+Declaration(Class())
+Declaration(Class())
Declaration(Class())
Declaration(Class())
Declaration(Class())
@@ -6125,10 +6127,10 @@ SubClassOf( "MA:ma") "A construction that has been assembled by deliberate human effort.")
AnnotationAssertion( "\"constructed\" should probably be made something like a quality and this class obsoleted or filled only by inference")
AnnotationAssertion( "constructed feature")
+AnnotationAssertion(rdfs:comment "Some human constructions (such as the extra-planetary probes built for the Voyager missions) exist outside of Earth's (or any other astrononomical body's) technosphere, and are thus not astronomical body parts. Assertions regarding whether a construction is part of the technosphere of an astronomical body (e.g. Earth) should be made at the instance level, if needed / useful for the application case."@en)
AnnotationAssertion(rdfs:label "human construction")
-EquivalentClasses( ObjectIntersectionOf( ObjectSomeValuesFrom( )))
+EquivalentClasses( ObjectIntersectionOf( ObjectSomeValuesFrom( )))
SubClassOf( )
-SubClassOf( ObjectSomeValuesFrom( ))
SubClassOf( ObjectSomeValuesFrom( ))
# Class: (fault cave)
@@ -11552,7 +11554,7 @@ AnnotationAssertion(Annotation( "campus")
AnnotationAssertion( "https://en.wikipedia.org/wiki/University_campus")
AnnotationAssertion(rdfs:label "university campus")
-SubClassOf( )
+SubClassOf( )
SubClassOf( ObjectSomeValuesFrom( ))
SubClassOf( ObjectMinCardinality(2 ))
@@ -11567,9 +11569,9 @@ SubClassOf( (research facility)
-AnnotationAssertion(Annotation( "MA:ma") "A facility, permanent or temporary, on land, in air, space or water, where scientific research or measurements can be undertaken.")
+AnnotationAssertion(Annotation( ) Annotation( "MA:ma") "A facility which supports the undertaking of scientific research or measurements.")
AnnotationAssertion(rdfs:label "research facility")
-SubClassOf( )
+SubClassOf( )
# Class: (irrigation dam)
@@ -12767,8 +12769,7 @@ SubClassOf( (sports facility)
-AnnotationAssertion(Annotation( "MA:ma") "A building or region where sports activities can be carried out.")
-AnnotationAssertion( "The inclusion of \"region\" in this definition is problematic.")
+AnnotationAssertion(Annotation( ) Annotation( "MA:ma") "A facility which supports the performance of sporting activities.")
AnnotationAssertion(rdfs:label "sports facility")
SubClassOf( )
SubClassOf( ObjectSomeValuesFrom( ))
@@ -14322,7 +14323,7 @@ AnnotationAssertion(owl:deprecated "https://en.wikipedia.org/wiki/Hospital") "A hospital is a building in which health care services are provided by specialized staff and equipment.")
AnnotationAssertion( "https://en.wikipedia.org/wiki/Hospital")
AnnotationAssertion(rdfs:label "hospital")
-SubClassOf( )
+SubClassOf( )
# Class: (obsolete hot dog)
@@ -27831,7 +27832,7 @@ AnnotationAssertion( "convalescent home")
AnnotationAssertion( "rest home")
AnnotationAssertion(rdfs:label "nursing home"@en)
-SubClassOf( )
+SubClassOf( )
# Class: (residential building)
@@ -36226,7 +36227,8 @@ SubClassOf( "A material entity which has been assembled through the intentional, instinctual, or deliberately programmed efforts of an organism or machine.")
AnnotationAssertion( )
AnnotationAssertion( "2019-10-29T14:50:34Z"^^xsd:dateTime)
-AnnotationAssertion( "assembled material entity")
+AnnotationAssertion( "assembled material entity")
+AnnotationAssertion(Annotation( ) Annotation( ) Annotation( ) rdfs:comment "Constructions differ from manufactured products in that they are the output of individual and tailored projects, rather than repetitive processes.")
AnnotationAssertion(rdfs:label "construction"@en)
SubClassOf( )
@@ -37406,6 +37408,24 @@ AnnotationAssertion(rdfs:label "s
EquivalentClasses( ObjectIntersectionOf( ObjectSomeValuesFrom( )))
SubClassOf( )
+# Class: (facilitation)
+
+AnnotationAssertion( "A planned process during which agents reduce the resources or effort needed to accomplish other planned process.")
+AnnotationAssertion( )
+AnnotationAssertion( "2024-12-06T22:27:09Z"^^xsd:dateTime)
+AnnotationAssertion(rdfs:label "facilitation"@en)
+SubClassOf( )
+
+# Class: (mobile dental clinic)
+
+AnnotationAssertion( "A dental clinic which is capable of transporting equipment and personnel to render dental care.")
+AnnotationAssertion( )
+AnnotationAssertion( "2024-12-06T22:33:59Z"^^xsd:dateTime)
+AnnotationAssertion(rdfs:comment "Mobile clinics are typically contained in motor vehicles.")
+AnnotationAssertion(rdfs:label "mobile dental clinic"@en)
+EquivalentClasses( ObjectIntersectionOf( ObjectSomeValuesFrom( )))
+SubClassOf( )
+
# Class: (spacecraft)
AnnotationAssertion(Annotation( ) "A vehicle designed to fly in outer space."@en)
@@ -38618,6 +38638,7 @@ SubClassOf( ) "A planned process that is the movement of people, animals and goods from one location to another.")
AnnotationAssertion( )
+AnnotationAssertion( "locomotion")
AnnotationAssertion(rdfs:label "transportation")
SubClassOf( )
@@ -42043,11 +42064,11 @@ SubClassOf( ObjectSomeValuesFrom(<
# Class: (educational facility)
-AnnotationAssertion( "A human construction in which people are educated."@en)
+AnnotationAssertion( "A facility in which people are educated."@en)
AnnotationAssertion( )
AnnotationAssertion( "2021-03-15T04:00:01.750Z"^^xsd:dateTime)
AnnotationAssertion(rdfs:label "educational facility"@en)
-SubClassOf( )
+SubClassOf( )
# Class: (school building)
@@ -42056,7 +42077,7 @@ AnnotationAssertion( "2021-03-15T04:00:01.750Z"^^xsd:dateTime)
AnnotationAssertion( "school"@en)
AnnotationAssertion(rdfs:label "school building"@en)
-SubClassOf( )
+SubClassOf( )
# Class: (university building)
@@ -42097,7 +42118,7 @@ AnnotationAssertion(
AnnotationAssertion( "health facility"@en)
AnnotationAssertion( "medical facility"@en)
AnnotationAssertion(rdfs:label "healthcare facility"@en)
-SubClassOf( )
+SubClassOf( )
# Class: (acute care facility)
@@ -42650,18 +42671,17 @@ AnnotationAssertion(Annotation( "2021-03-15T04:00:01.750Z"^^xsd:dateTime)
AnnotationAssertion(rdfs:comment "This sense of clinic does not necessarily involve medical services. For medical services see \"medical clinic\"."@en)
AnnotationAssertion(rdfs:label "clinic"@en)
-SubClassOf( )
+SubClassOf( )
# Class: (medical clinic)
-AnnotationAssertion(Annotation( ) "A healthcare facility which is used to provide outpatient health care services."@en)
+AnnotationAssertion(Annotation( ) "A clinic which is used to provide outpatient health care services."@en)
AnnotationAssertion( )
AnnotationAssertion( "2021-03-15T04:00:01.750Z"^^xsd:dateTime)
-AnnotationAssertion( "clinic"@en)
AnnotationAssertion( "ambulatory care clinic"@en)
AnnotationAssertion( "outpatient clinic"@en)
AnnotationAssertion(rdfs:label "medical clinic"@en)
-SubClassOf( )
+SubClassOf(