Fix case sensitive extensions in ZipIRIMapper

Fix case sensitive extensions in ZipIRIMapper Fixes #1140
owlcs · Aug 3, 2024 · 2d54418 · 2d54418
1 parent 2ef0667
commit 2d54418
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/api/src/main/java/org/semanticweb/owlapi/util/ZipIRIMapper.java b/api/src/main/java/org/semanticweb/owlapi/util/ZipIRIMapper.java
@@ -209,21 +209,21 @@ protected void parseIfExtensionSupported(ZipFile file, ZipEntry e, String baseIR
         }
         IRI physicalIRI = IRI.create(baseIRI + name);
         String extension = name.substring(lastIndexOf);
-        if (".obo".equals(extension)) {
+        if (".obo".equalsIgnoreCase(extension)) {
             oboFileMap.put(name, physicalIRI);
         } else {
             try (InputStream in = file.getInputStream(e)) {
-                if (".ofn".equals(extension)) {
+                if (".ofn".equalsIgnoreCase(extension)) {
                     IRI logical = parseFSSFile(in);
                     if (logical != null) {
                         ontologyIRI2PhysicalURIMap.put(logical, physicalIRI);
                     }
-                } else if (".omn".equals(extension)) {
+                } else if (".omn".equalsIgnoreCase(extension)) {
                     IRI logical = parseManchesterSyntaxFile(in);
                     if (logical != null) {
                         ontologyIRI2PhysicalURIMap.put(logical, physicalIRI);
                     }
-                } else if (fileExtensions.contains(extension)) {
+                } else if (fileExtensions.contains(extension.toLowerCase())) {
                     IRI logical = parseFile(in);
                     if (logical != null) {
                         ontologyIRI2PhysicalURIMap.put(logical, physicalIRI);