From aaf2174666adec1c7eb02994638b28c42ee83b00 Mon Sep 17 00:00:00 2001 From: cmungall Date: Fri, 29 May 2020 17:33:15 -0700 Subject: [PATCH] Removed logical definition from ice Previously this was auto-classifying 'charcoal', 'dust', etc under ice as the logical definition said: any environmental material that is frozen or solid is a ice. The logical definition was also much weaker than the text definition which included a necessary qualifier about gravitational forces While discussion may continue about the precise definition of ice (see tickets), for now we can simply manually classify the obvious common-sense children (water ice, methane ice) Fixes #990 Fixes #955 Fixes #782 --- src/envo/envo-edit.owl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/envo/envo-edit.owl b/src/envo/envo-edit.owl index 2114c44d..a8064bdd 100644 --- a/src/envo/envo-edit.owl +++ b/src/envo/envo-edit.owl @@ -28786,10 +28786,10 @@ SubClassOf( (ice) AnnotationAssertion( "An ice is an environmental material which is either frozen or which is maintained in a solid state by gravitational forces or pressure.") -AnnotationAssertion(rdfs:comment "This class is defined logically - any material that is frozen is considered a subclass. Note that ice may be formed at very high temperatures, due to gravitational effects and/or pressure.") +AnnotationAssertion(rdfs:comment "Note that ice may be formed at very high temperatures, due to gravitational effects and/or pressure.") AnnotationAssertion(rdfs:label "ice"@en) -EquivalentClasses( ObjectIntersectionOf( ObjectSomeValuesFrom( ObjectUnionOf( )))) SubClassOf( ) +SubClassOf(Annotation(rdfs:seeAlso "https://github.com/EnvironmentOntology/envo/issues/900"^^xsd:anyURI) ObjectSomeValuesFrom( ObjectUnionOf( ))) # Class: (astrogeological ice)