.

mdesalvo · mdesalvo · commit 2cbc98923246 · 2025-11-16T00:37:39.000+01:00
diff --git a/OWLSharp/Reasoner/OWLReasoner.cs b/OWLSharp/Reasoner/OWLReasoner.cs
@@ -267,7 +267,7 @@ await Task.WhenAll(clsAsnAxiomsTask, dtPropAsnAxiomsTask, opPropAsnAxiomsTask, s
                      && inferences.Count > 0
                      && reasonerOptions.CurrentIteration < reasonerOptions.MaxAllowedIterations)
                 {
-                    OWLEvents.RaiseInfo($"Merging inferences into ontology '{ontology.IRI}' after iteration {reasonerOptions.CurrentIteration}...");
+                    OWLEvents.RaiseInfo($"Merging inferences into ontology '{ontology.IRI}' (iteration: {reasonerOptions.CurrentIteration})...");
                     foreach (OWLInference inference in inferences)
                     {
                         switch (inference.Axiom)
@@ -289,7 +289,7 @@ await Task.WhenAll(clsAsnAxiomsTask, dtPropAsnAxiomsTask, opPropAsnAxiomsTask, s
                                 break;
                         }
                     }
-                    OWLEvents.RaiseInfo($"Completed merging of inferences into ontology '{ontology.IRI}' after iteration {reasonerOptions.CurrentIteration}");
+                    OWLEvents.RaiseInfo($"Completed merging of inferences into ontology '{ontology.IRI}' (iteration: {reasonerOptions.CurrentIteration})");
 
                     reasonerOptions.CurrentIteration++;
                     inferences.AddRange(await ApplyToOntologyAsync(ontology, reasonerOptions));

Original file line number	Diff line number	Diff line change
`@@ -267,7 +267,7 @@ await Task.WhenAll(clsAsnAxiomsTask, dtPropAsnAxiomsTask, opPropAsnAxiomsTask, s`
`267`	`267`	`&& inferences.Count > 0`
`268`	`268`	`&& reasonerOptions.CurrentIteration < reasonerOptions.MaxAllowedIterations)`
`269`	`269`	`{`
`270`		`- OWLEvents.RaiseInfo($"Merging inferences into ontology '{ontology.IRI}' after iteration {reasonerOptions.CurrentIteration}...");`
	`270`	`+ OWLEvents.RaiseInfo($"Merging inferences into ontology '{ontology.IRI}' (iteration: {reasonerOptions.CurrentIteration})...");`
`271`	`271`	`foreach (OWLInference inference in inferences)`
`272`	`272`	`{`
`273`	`273`	`switch (inference.Axiom)`
`@@ -289,7 +289,7 @@ await Task.WhenAll(clsAsnAxiomsTask, dtPropAsnAxiomsTask, opPropAsnAxiomsTask, s`
`289`	`289`	`break;`
`290`	`290`	`}`
`291`	`291`	`}`
`292`		`- OWLEvents.RaiseInfo($"Completed merging of inferences into ontology '{ontology.IRI}' after iteration {reasonerOptions.CurrentIteration}");`
	`292`	`+ OWLEvents.RaiseInfo($"Completed merging of inferences into ontology '{ontology.IRI}' (iteration: {reasonerOptions.CurrentIteration})");`
`293`	`293`
`294`	`294`	`reasonerOptions.CurrentIteration++;`
`295`	`295`	`inferences.AddRange(await ApplyToOntologyAsync(ontology, reasonerOptions));`