Slight code optimization

Author: Marco De Salvo

OWLSharp/Reasoner/RuleSet/OWLClassAssertionEntailmentRule.cs

@@ -26,16 +26,13 @@ internal static List<OWLInference> ExecuteRule(OWLOntology ontology, OWLReasoner
             List<OWLInference> inferences = new List<OWLInference>();
 
             //Temporary working variables
-            List<OWLEquivalentClasses> equivalentClassesAxioms = ontology.GetClassAxiomsOfType<OWLEquivalentClasses>();
-            List<OWLDisjointClasses> disjointClassesAxioms = ontology.GetClassAxiomsOfType<OWLDisjointClasses>();
-            List<OWLDisjointUnion> disjointUnionAxioms = ontology.GetClassAxiomsOfType<OWLDisjointUnion>();
-            List<OWLClassExpression> inScopeClsExprs = new List<OWLClassExpression>(ontology.GetDeclarationAxiomsOfType<OWLClass>()
-                                                                                            .Select(ax => (OWLClass)ax.Entity));
-            inScopeClsExprs.AddRange(reasonerContext.ClassAssertions.Select(ax => ax.ClassExpression));
-            inScopeClsExprs.AddRange(equivalentClassesAxioms.SelectMany(ax => ax.ClassExpressions.Select(cls => cls)));
-            inScopeClsExprs.AddRange(disjointClassesAxioms.SelectMany(ax => ax.ClassExpressions.Select(cls => cls)));
-            inScopeClsExprs.AddRange(disjointUnionAxioms.Select(ax => ax.ClassIRI));
-            inScopeClsExprs.AddRange(disjointUnionAxioms.SelectMany(ax => ax.ClassExpressions.Select(cls => cls)));
+            List<OWLClassExpression> inScopeClsExprs =
+                ontology.GetDeclarationAxiomsOfType<OWLClass>().Select(ax => (OWLClass)ax.Entity)
+                        .Union(reasonerContext.ClassAssertions.Select(ax => ax.ClassExpression))
+                        .Union(ontology.GetClassAxiomsOfType<OWLEquivalentClasses>().SelectMany(ax => ax.ClassExpressions.Select(cls => cls)))
+                        .Union(ontology.GetClassAxiomsOfType<OWLDisjointClasses>().SelectMany(ax => ax.ClassExpressions.Select(cls => cls)))
+                        .Union(ontology.GetClassAxiomsOfType<OWLDisjointUnion>().Select(ax => ax.ClassIRI))
+                        .Union(ontology.GetClassAxiomsOfType<OWLDisjointUnion>().SelectMany(ax => ax.ClassExpressions.Select(cls => cls))).ToList();
             foreach (OWLClassExpression inScopeClsExpr in OWLExpressionHelper.RemoveDuplicates(inScopeClsExprs))
             {
                 inScopeClsExprs.AddRange(ontology.GetSuperClassesOf(inScopeClsExpr));