From e71dc2ec92acdab8908ad18a172d566db87da718 Mon Sep 17 00:00:00 2001
From: mdesalvo <mdesalvo@localhost>
Date: Sat, 29 Aug 2020 23:52:53 +0200
Subject: [PATCH] FIX typo in region name

---
 RDFSharp/Semantics/OWL/Validator/RDFOntologyValidatorRuleset.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/RDFSharp/Semantics/OWL/Validator/RDFOntologyValidatorRuleset.cs b/RDFSharp/Semantics/OWL/Validator/RDFOntologyValidatorRuleset.cs
index 6857f756..d42c2b10 100644
--- 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))) {