From 13972ae6f9357fc1ce20542c2d0fd33d9f819486 Mon Sep 17 00:00:00 2001 From: Pier Luigi Buttigieg Date: Mon, 7 Oct 2024 17:42:21 +0200 Subject: [PATCH 1/2] groundwork for #1538 --- src/envo/envo-edit.owl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/envo/envo-edit.owl b/src/envo/envo-edit.owl index 78b4695f..55b33f6b 100644 --- a/src/envo/envo-edit.owl +++ b/src/envo/envo-edit.owl @@ -6087,9 +6087,8 @@ AnnotationAssertion(Annotation( "\"constructed\" should probably be made something like a quality and this class obsoleted or filled only by inference") AnnotationAssertion( "constructed feature") AnnotationAssertion(rdfs:label "human construction") -EquivalentClasses( ObjectIntersectionOf( ObjectSomeValuesFrom( ))) +EquivalentClasses( ObjectIntersectionOf( ObjectSomeValuesFrom( ))) SubClassOf( ) -SubClassOf( ObjectSomeValuesFrom( )) SubClassOf( ObjectSomeValuesFrom( )) # Class: (fault cave) From 2697cae26448b162ce7b04c4daa49ab27f856137 Mon Sep 17 00:00:00 2001 From: Pier Luigi Buttigieg Date: Mon, 7 Oct 2024 17:44:55 +0200 Subject: [PATCH 2/2] groundwork for #1538 2 --- src/envo/envo-edit.owl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/envo/envo-edit.owl b/src/envo/envo-edit.owl index 55b33f6b..9fa60732 100644 --- a/src/envo/envo-edit.owl +++ b/src/envo/envo-edit.owl @@ -6086,6 +6086,7 @@ 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 extra planetary probes like the Voyager mission) exist outside of Earth's technosphere, and are thus not astronomical body parts. Assertions regarding whether a construction is part of the technosphere of an astronomical body (i.e. Earth) should be made at the instance level, if needed."@en) AnnotationAssertion(rdfs:label "human construction") EquivalentClasses( ObjectIntersectionOf( ObjectSomeValuesFrom( ))) SubClassOf( )