Skip to content

Commit

Permalink
Better format
Browse files Browse the repository at this point in the history
  • Loading branch information
mdesalvo committed Jan 24, 2021
1 parent 6771e80 commit ce510dd
Showing 1 changed file with 2 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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))
{
Expand All @@ -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))
{
Expand Down

0 comments on commit ce510dd

Please sign in to comment.