Added test for ForwardRuleReasonerOWLHorst R3 rule

Author: patrickwestphal

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

@@ -0,0 +1,34 @@
+Prefix(:=<http://ex.com/default#>)
+
+Ontology(<http://ex.com/ont/sample1.owl>
+  <http://ex.com/ont/release/123/sample1.owl>
+
+  Declaration(ObjectProperty(:objProp01))
+  Declaration(ObjectProperty(:objProp02))
+  Declaration(ObjectProperty(:objProp03))
+
+  Declaration(DataProperty(:dataProp01))
+  Declaration(DataProperty(:dataProp02))
+  Declaration(DataProperty(:dataProp03))
+
+  Declaration(AnnotationProperty(:annProp01))
+  Declaration(AnnotationProperty(:annProp02))
+  Declaration(AnnotationProperty(:annProp03))
+
+  Declaration(NamedIndividual(:indivA))
+  Declaration(NamedIndividual(:indivB))
+  Declaration(NamedIndividual(:indivC))
+
+  SubObjectPropertyOf(:objProp02 :objProp01)
+  SubDataPropertyOf(:dataProp02 :dataProp01)
+  SubAnnotationPropertyOf(:annProp02 :annProp01)
+
+  ObjectPropertyAssertion(:objProp02 :indivA :indivB)
+  ObjectPropertyAssertion(:objProp03 :indivB :indivC)
+
+  DataPropertyAssertion(:dataProp02 :indivA "ABCD")
+  DataPropertyAssertion(:dataProp03 :indivB "DCBA")
+
+  AnnotationAssertion(:annProp02 :indivA "wxyz")
+  AnnotationAssertion(:annProp03 :indivB "zyxw")
+)

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

@@ -138,6 +138,43 @@ class ForwardRuleReasonerOWLHorstTest extends FunSuite with SharedSparkContext w
     assert(inferred.contains(df.getOWLSubAnnotationPropertyOfAxiom(annProp03, annProp01)))
     assert(inferred.contains(df.getOWLSubAnnotationPropertyOfAxiom(annProp04, annProp01)))
     assert(inferred.contains(df.getOWLSubAnnotationPropertyOfAxiom(annProp04, annProp02)))
+  }
+
+  /**
+    * R3:
+    *   Condition:
+    *     s p o
+    *     p rdfs:subPropertyOf p1
+    *   Consequence:
+    *     s p1 o
+    */
+  test("Rule R3 should return correct results") {
+    val objProp01 = df.getOWLObjectProperty(defaultPrefix + "objProp01")
+    val dataProp01 = df.getOWLDataProperty(defaultPrefix + "dataProp01")
+    val annProp01 = df.getOWLAnnotationProperty(defaultPrefix + "annProp01")
+
+    val indivA = df.getOWLNamedIndividual(defaultPrefix + "indivA")
+    val indivB = df.getOWLNamedIndividual(defaultPrefix + "indivB")
+
+    val input = getClass.getResource(resourcePath + "test_r3.owl").getPath
+
+    val axiomsRDD = spark.owl(Syntax.FUNCTIONAL)(input)
+    val reasoner = new ForwardRuleReasonerOWLHorst(sc, sc.defaultMinPartitions)
+    val inferred: Seq[OWLAxiom] = reasoner.apply(axiomsRDD).collect()
+
+    // Three axioms should be inferred:
+    // ObjectPropertyAssertion(:objProp01 :indivA :indivB)
+    // DataPropertyAssertion(:dataProp1 :indivA "ABCD")
+    // AnnotationAssertion(:annProp01 :indivA "wxyz")
+    assert(inferred.size == 3)
+    assert(inferred.contains(
+      df.getOWLObjectPropertyAssertionAxiom(objProp01, indivA, indivB)))
+    assert(inferred.contains(
+      df.getOWLDataPropertyAssertionAxiom(dataProp01, indivA,
+        df.getOWLLiteral("ABCD"))))
+    assert(inferred.contains(
+      df.getOWLAnnotationAssertionAxiom(annProp01, indivA.getIRI,
+        df.getOWLLiteral("wxyz"))))
 
   }
 }