Clarify OWA comments

Author: Marco De Salvo

OWLSharp/Ontology/Helpers/OWLAssertionAxiomHelper.cs

@@ -112,7 +112,7 @@ public static List<OWLIndividualExpression> GetDifferentIndividuals(this OWLOnto
             if (ontology != null && idvExpr != null)
             {
                 //We can only enlist explicitly declared different individuals: no other kind
-                //of reasoning is possible, since this relation is protected under OWA behavior!
+                //of reasoning is possible, since this relation is technically a constraint.
                 RDFResource idvExprIRI = idvExpr.GetIRI();
                 foreach (OWLDifferentIndividuals axiom in GetAssertionAxiomsOfType<OWLDifferentIndividuals>(ontology).Where(ax => ax.IndividualExpressions.Any(iex => iex.GetIRI().Equals(idvExprIRI))))
                     differentIndividuals.AddRange(axiom.IndividualExpressions);

OWLSharp/Ontology/Helpers/OWLDataPropertyAxiomHelper.cs

@@ -226,7 +226,7 @@ public static List<OWLDataProperty> GetDisjointDataProperties(this OWLOntology o
                 RDFResource dtPropIRI = dataProperty.GetIRI();
 
                 //We can only enlist explicitly declared disjoint data properties: no other kind
-                //of reasoning is possible, since this relation is protected under OWA behavior!
+                //of reasoning is possible, since this relation is technically a constraint.
                 foreach (OWLDisjointDataProperties axiom in GetDataPropertyAxiomsOfType<OWLDisjointDataProperties>(ontology).Where(ax => ax.DataProperties.Any(dp => dp.GetIRI().Equals(dtPropIRI))))
                     disjointDataProperties.AddRange(axiom.DataProperties);
 

OWLSharp/Ontology/Helpers/OWLObjectPropertyAxiomHelper.cs

@@ -226,7 +226,7 @@ public static List<OWLObjectPropertyExpression> GetDisjointObjectProperties(this
                 RDFResource objPropExprIRI = objPropExpr.GetIRI();
 
                 //We can only enlist explicitly declared disjoint object properties: no other kind
-                //of reasoning is possible, since this relation is protected under OWA behavior!
+                //of reasoning is possible, since this relation is technically a constraint.
                 foreach (OWLDisjointObjectProperties axiom in GetObjectPropertyAxiomsOfType<OWLDisjointObjectProperties>(ontology).Where(ax => ax.ObjectPropertyExpressions.Any(dp => dp.GetIRI().Equals(objPropExprIRI))))
                     disjointObjPropExprs.AddRange(axiom.ObjectPropertyExpressions);