Fixing hail axiom and depth of water ice axiom

May fix EBISPOT/ols4#619 See #1491
EnvironmentOntology · Feb 9, 2024 · f72e1e3 · f72e1e3
1 parent eee9040
commit f72e1e3
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/src/envo/envo-edit.owl b/src/envo/envo-edit.owl
@@ -40553,7 +40553,8 @@ AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#inSubset> <htt
 AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#inSubset> <http://purl.obolibrary.org/obo/ENVO_03400011> "envoPolar")
 AnnotationAssertion(Annotation(<http://www.geneontology.org/formats/oboInOwl#hasDbXref> <https://orcid.org/0000-0003-4808-4736>) rdfs:comment <http://purl.obolibrary.org/obo/ENVO_03400011> "Individual units of hail are called hailstones. Thunderstorms that are characterized by strong updrafts, large liquid water contents, large cloud-drop sizes, and great vertical height are favorable to hail formation. The destructive effects of hailstorms upon plant and animal life, buildings and property, and aircraft in flight render them a prime object of weather modification studies. In aviation weather observations, hail is encoded A. Smaller particles of similar origin, formerly called small hail, may be classed as either ice pellets or snow pellets."@en)
 AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_03400011> "hail"@en)
-SubClassOf(<http://purl.obolibrary.org/obo/ENVO_03400011> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/BFO_0000027> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002351> <http://purl.obolibrary.org/obo/ENVO_03400012>)))
+SubClassOf(<http://purl.obolibrary.org/obo/ENVO_03400011> <http://purl.obolibrary.org/obo/BFO_0000027>)
+SubClassOf(<http://purl.obolibrary.org/obo/ENVO_03400011> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002351> <http://purl.obolibrary.org/obo/ENVO_03400012>))
 
 # Class: <http://purl.obolibrary.org/obo/ENVO_03400012> (hail stone)
 
@@ -40662,7 +40663,7 @@ AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#creation_date>
 AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#inSubset> <http://purl.obolibrary.org/obo/ENVO_03400017> "envoCryo")
 AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#inSubset> <http://purl.obolibrary.org/obo/ENVO_03400017> "envoPolar")
 AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_03400017> "depth of water ice"@en)
-SubClassOf(<http://purl.obolibrary.org/obo/ENVO_03400017> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/PATO_0001595> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0000052> <http://purl.obolibrary.org/obo/ENVO_01000277>)))
+EquivalentClasses(<http://purl.obolibrary.org/obo/ENVO_03400017> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/PATO_0001595> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0000052> <http://purl.obolibrary.org/obo/ENVO_01000277>)))
 
 # Class: <http://purl.obolibrary.org/obo/ENVO_03500001> (playground)
 

diff --git a/src/envo/envo.owl b/src/envo/envo.owl
@@ -23,7 +23,7 @@
      xmlns:oboInOwl="http://www.geneontology.org/formats/oboInOwl#"
      xmlns:process_attribute="http://purl.obolibrary.org/obo/envo-p/patterns/process_attribute/">
     <owl:Ontology rdf:about="http://purl.obolibrary.org/obo/envo.owl">
-        <owl:versionIRI rdf:resource="http://purl.obolibrary.org/obo/envo/releases/2024-02-05/envo.owl"/>
+        <owl:versionIRI rdf:resource="http://purl.obolibrary.org/obo/envo/releases/2024-02-09/envo.owl"/>
         <dc:contributor rdf:resource="https://orcid.org/0000-0002-2996-719X"/>
         <dc:creator rdf:resource="https://orcid.org/0000-0002-4366-3088"/>
         <dc:creator>http://orcid.org/0000-0002-6601-2165</dc:creator>
@@ -40,7 +40,7 @@
         <rdfs:comment>Includes Ontology(OntologyID(OntologyIRI(&lt;http://purl.obolibrary.org/obo/envo/modules/entity_attribute_location.owl&gt;) VersionIRI(&lt;null&gt;))) [Axioms: 168 Logical Axioms: 29]</rdfs:comment>
         <rdfs:comment>Includes Ontology(OntologyID(OntologyIRI(&lt;http://purl.obolibrary.org/obo/envo/modules/entity_quality_location.owl&gt;) VersionIRI(&lt;null&gt;))) [Axioms: 40 Logical Axioms: 6]</rdfs:comment>
         <rdfs:comment>Includes Ontology(OntologyID(OntologyIRI(&lt;http://purl.obolibrary.org/obo/envo/modules/process_attribute.owl&gt;) VersionIRI(&lt;null&gt;))) [Axioms: 21 Logical Axioms: 2]</rdfs:comment>
-        <owl:versionInfo>2024-02-05</owl:versionInfo>
+        <owl:versionInfo>2024-02-09</owl:versionInfo>
         <foaf:homepage rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">http://environmentontology.org/</foaf:homepage>
     </owl:Ontology>