Calibrate object assertions in property chain entailment

Author: mdesalvo

OWLSharp/Ontology/Helpers/OWLAssertionAxiomHelper.cs

@@ -640,7 +640,7 @@ internal static List<OWLNegativeDataPropertyAssertion> SelectNegativeDataAsserti
             => negDtPropAsnAxioms.Where(ax => ax.DataProperty.GetIRI().Equals(dtProp.GetIRI())).ToList();
 
         /// <summary>
-        /// Scans the OWLObjectPropertyAssertion axioms of the given ontology and adjusts the verse of those using OWLObjectInverseOf semantic
+        /// Scans the OWLObjectPropertyAssertion axioms of the given ontology and "adjusts" the verse of ones using OWLObjectInverseOf semantic
         /// </summary>
         internal static List<OWLObjectPropertyAssertion> CalibrateObjectAssertions(OWLOntology ontology)
         {
@@ -657,7 +657,7 @@ internal static List<OWLObjectPropertyAssertion> CalibrateObjectAssertions(OWLOn
         }
 
         /// <summary>
-        /// Scans the OWLNegativeObjectPropertyAssertion axioms of the given ontology and adjusts the verse of those using OWLObjectInverseOf semantic
+        /// Scans the OWLNegativeObjectPropertyAssertion axioms of the given ontology and "adjusts" the verse of ones using OWLObjectInverseOf semantic
         /// </summary>
         internal static List<OWLNegativeObjectPropertyAssertion> CalibrateNegativeObjectAssertions(OWLOntology ontology)
         {

OWLSharp/Reasoner/RuleSet/OWLObjectPropertyChainEntailmentRule.cs

@@ -32,7 +32,7 @@ internal static List<OWLInference> ExecuteRule(OWLOntology ontology)
             Lazy<RDFGraph> lazyOPAsnsGraph = new Lazy<RDFGraph>(() =>
             {
                 RDFGraph opAsnsGraph = new RDFGraph();
-                foreach (OWLObjectPropertyAssertion opAsn in ontology.GetAssertionAxiomsOfType<OWLObjectPropertyAssertion>())
+                foreach (OWLObjectPropertyAssertion opAsn in OWLAssertionAxiomHelper.CalibrateObjectAssertions(ontology))
                 {
                     foreach (RDFTriple opAsnTriple in opAsn.ToRDFGraph())
                         opAsnsGraph.AddTriple(opAsnTriple);