Added test for ForwardRuleReasonerOWLHorst R5 rule

Author: patrickwestphal

sansa-inference-spark/src/test/resources/forward_chaining/axioms/test_r5.owl

@@ -0,0 +1,37 @@
+Prefix(:=<http://ex.com/default#>)
+
+Ontology(<http://ex.com/ont/sample1.owl>
+  <http://ex.com/ont/release/123/sample1.owl>
+
+  Declaration(Class(:Cls01))
+  Declaration(Class(:Cls02))
+  Declaration(Class(:Cls03))
+
+  Declaration(NamedIndividual(:indivA))
+  Declaration(NamedIndividual(:indivB))
+  Declaration(NamedIndividual(:indivC))
+  Declaration(NamedIndividual(:indivD))
+  Declaration(NamedIndividual(:indivE))
+  Declaration(NamedIndividual(:indivF))
+
+  Declaration(ObjectProperty(:objProp01))
+  Declaration(ObjectProperty(:objProp02))
+  ObjectPropertyRange(:objProp02 :Cls01)
+
+  Declaration(DataProperty(:dataProp01))
+  Declaration(DataProperty(:dataProp02))
+  DataPropertyRange(:dataProp02 :someDataType)
+
+  Declaration(AnnotationProperty(:annProp01))
+  Declaration(AnnotationProperty(:annProp02))
+  AnnotationPropertyRange(:annProp02 :Cls03)
+
+  ObjectPropertyAssertion(:objProp01 :indivA :indivB)
+  ObjectPropertyAssertion(:objProp02 :indivB :indivC)
+
+  DataPropertyAssertion(:dataProp01 :indivC "ABCD")
+  DataPropertyAssertion(:dataProp02 :indivD "DCBA")
+
+  AnnotationAssertion(:annProp01 :indivE "wxyz")
+  AnnotationAssertion(:annProp02 :indivF :someIRI)
+)

sansa-inference-spark/src/test/scala/net/sansa_stack/inference/spark/forwardchaining/axioms/ForwardRuleReasonerOWLHorstTest.scala

@@ -207,6 +207,35 @@ class ForwardRuleReasonerOWLHorstTest extends FunSuite with SharedSparkContext w
     assert(inferred.contains(df.getOWLClassAssertionAxiom(cls01, indivB)))
     assert(inferred.contains(df.getOWLClassAssertionAxiom(cls02, indivD)))
     assert(inferred.contains(df.getOWLClassAssertionAxiom(cls03, indivF)))
+  }
+
+  /**
+    * R5:
+    *   Condition:
+    *     p rdfs:range o , s p v
+    *   Consequence:
+    *     v rdf:type o
+    */
+  test("Rule R5 should return correct results") {
+    val cls01 = df.getOWLClass(defaultPrefix + "Cls01")
+    val indivC = df.getOWLNamedIndividual(defaultPrefix + "indivC")
+
+    val input = getClass.getResource(resourcePath + "test_r5.owl").getPath
+
+    val axiomsRDD = spark.owl(Syntax.FUNCTIONAL)(input)
+    val reasoner = new ForwardRuleReasonerOWLHorst(sc, sc.defaultMinPartitions)
+    val inferred: Seq[OWLAxiom] = reasoner.apply(axiomsRDD).collect()
 
+    // One axiom should be inferred:
+    // ClassAssertion(:Cls01 :indivC)
+    //
+    // The axiom
+    //   AnnotationPropertyRange(:annProp02 :Cls03)
+    // in connection with
+    //   AnnotationAssertion(:annProp02 :indivF :someIRI)
+    // doesn't generate a new axiom (which is consistent with what e.g. HermiT
+    // does).
+    assert(inferred.size == 1)
+    assert(inferred.contains(df.getOWLClassAssertionAxiom(cls01, indivC)))
   }
 }