Slight code cleanups

Author: mdesalvo

OWLSharp/OWLEnums.cs

@@ -103,7 +103,9 @@ public enum OWLReasonerRules
             InverseFunctionalObjectPropertyEntailment = 14,
             /// <summary>
             /// InverseObjectProperties(OP,IOP) ^ ObjectPropertyAssertion(OP,IDV1,IDV2) -> ObjectPropertyAssertion(IOP,IDV2,IDV1)<br/>
-            /// InverseObjectProperties(OP,IOP) ^ EquivalentObjectProperties(IOP,IOP2) -> InverseObjectProperties(OP,IOP2)
+            /// InverseObjectProperties(OP,IOP) ^ EquivalentObjectProperties(IOP,IOP2)  -> InverseObjectProperties(OP,IOP2)<br/>
+            /// InverseObjectProperties(OP,IOP) ^ ObjectPropertyDomain(OP,C) -> ObjectPropertyRange(IOP,C)<br/>
+            /// InverseObjectProperties(OP,IOP) ^ ObjectPropertyRange(OP,C)  -> ObjectPropertyDomain(IOP,C)
             /// </summary>
             InverseObjectPropertiesEntailment = 15,
             /// <summary>

OWLSharp/Ontology/OWLOntologyHelper.cs

@@ -2726,7 +2726,7 @@ void LoadDatatypeRestriction(OWLOntology ont, RDFResource drIRI, RDFResource onD
         /// </summary>
         private static async Task IntegrateInferencesAsync(this OWLOntology ontology, OWLReasoner reasoner)
         {
-            Parallel.ForEach(await reasoner.ApplyToOntologyAsync(ontology), inference =>
+            foreach (OWLInference inference in await reasoner.ApplyToOntologyAsync(ontology))
             {
                 switch (inference.Axiom)
                 {
@@ -2746,7 +2746,7 @@ private static async Task IntegrateInferencesAsync(this OWLOntology ontology, OW
                         ontology.DeclareAnnotationAxiom(annAx);
                         break;
                 }
-            });
+            }
         }
         #endregion
     }