fix(elho-reasoner): correct handling of Optional value

This bug was introduced with the recent update of the OWLAPI to 5.1.20.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/main/java/org/semanticweb/karma2/profile/ELHOProfile.java b/src/main/java/org/semanticweb/karma2/profile/ELHOProfile.java
index 23761f0..b6dc59a 100644
--- a/src/main/java/org/semanticweb/karma2/profile/ELHOProfile.java
+++ b/src/main/java/org/semanticweb/karma2/profile/ELHOProfile.java
@@ -52,7 +52,7 @@ public class ELHOProfile implements OWLProfile {
                 try {
                         Utility.logDebug("OntologyID: " + ontology.getOntologyID()); 
                         try {
-                                String ontologyIRI = ontology.getOntologyID().getOntologyIRI().toString();
+                                String ontologyIRI = ontology.getOntologyID().getOntologyIRI().map(iri -> iri.toString()).orElse("NOID");
                                 if (ontologyIRI.contains(".owl"))
                                         ontologyIRI = ontologyIRI.replace(".owl", "-elho.owl");
                                 else 
@@ -75,7 +75,7 @@ public class ELHOProfile implements OWLProfile {
                 OWLProfileReport report = checkOntology(elhoOntology);
 
                 for (OWLProfileViolation violation: report.getViolations()) {
-                        OWLAxiom axiom = violation.getAxiom();
+            OWLAxiom axiom = violation.getAxiom();
                         manager.removeAxiom(elhoOntology, axiom);
                 }
                 Utility.logDebug("ELHO fragment extracted ... ");