From ce510ddcc0c01a5e40dfa14b7401a1261b8aae2d Mon Sep 17 00:00:00 2001 From: mdesalvo Date: Sun, 24 Jan 2021 11:13:49 +0100 Subject: [PATCH] Better format --- .../Semantics/OWL/Validator/RDFOntologyValidatorRuleset.cs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/RDFSharp/Semantics/OWL/Validator/RDFOntologyValidatorRuleset.cs b/RDFSharp/Semantics/OWL/Validator/RDFOntologyValidatorRuleset.cs index b6043539..7b8f92ae 100644 --- a/RDFSharp/Semantics/OWL/Validator/RDFOntologyValidatorRuleset.cs +++ b/RDFSharp/Semantics/OWL/Validator/RDFOntologyValidatorRuleset.cs @@ -772,8 +772,7 @@ internal static RDFOntologyValidatorReport InverseOf(RDFOntology ontology) { #region Domain VS Range - if (((RDFOntologyObjectProperty)invOf.TaxonomySubject).Domain != null && - ((RDFOntologyObjectProperty)invOf.TaxonomyObject).Range != null) + if (((RDFOntologyObjectProperty)invOf.TaxonomySubject).Domain != null && ((RDFOntologyObjectProperty)invOf.TaxonomyObject).Range != null) { if (!ontology.Model.ClassModel.CheckIsRangeOf(((RDFOntologyObjectProperty)invOf.TaxonomySubject).Domain, (RDFOntologyObjectProperty)invOf.TaxonomyObject)) { @@ -788,8 +787,7 @@ internal static RDFOntologyValidatorReport InverseOf(RDFOntology ontology) #endregion #region Range VS Domain - if (((RDFOntologyObjectProperty)invOf.TaxonomySubject).Range != null && - ((RDFOntologyObjectProperty)invOf.TaxonomyObject).Domain != null) + if (((RDFOntologyObjectProperty)invOf.TaxonomySubject).Range != null && ((RDFOntologyObjectProperty)invOf.TaxonomyObject).Domain != null) { if (!ontology.Model.ClassModel.CheckIsDomainOf(((RDFOntologyObjectProperty)invOf.TaxonomySubject).Range, (RDFOntologyObjectProperty)invOf.TaxonomyObject)) {