FIX typo in region name

mdesalvo · Aug 29, 2020 · e71dc2e · e71dc2e
1 parent f8e279e
commit e71dc2e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/RDFSharp/Semantics/OWL/Validator/RDFOntologyValidatorRuleset.cs b/RDFSharp/Semantics/OWL/Validator/RDFOntologyValidatorRuleset.cs
@@ -708,7 +708,7 @@ internal static RDFOntologyValidatorReport AsymmetricProperty(RDFOntology ontolo
         internal static RDFOntologyValidatorReport IrreflexiveProperty(RDFOntology ontology) {
             RDFSemanticsEvents.RaiseSemanticsInfo("Launching execution of validation rule 'IrreflexiveProperty'...");
 
-            #region AsymmetricProperty
+            #region IrreflexiveProperty
             var report = new RDFOntologyValidatorReport();
             foreach (var irrefProp in ontology.Model.PropertyModel.Where(prop => prop.IsIrreflexiveProperty())) {
                 foreach (var asn in ontology.Data.Relations.Assertions.Where(asn => asn.TaxonomyPredicate.Equals(irrefProp))) {