Added test for Forw.RuleReasonerOWLHorst O10 rule

Author: patrickwestphal

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

@@ -0,0 +1,40 @@
+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(ObjectProperty(:objProp04))
+
+  Declaration(NamedIndividual(:indivA))
+  Declaration(NamedIndividual(:indivB))
+  Declaration(NamedIndividual(:indivD))
+  Declaration(NamedIndividual(:indivE))
+  Declaration(NamedIndividual(:indivF))
+  Declaration(NamedIndividual(:indivG))
+  Declaration(NamedIndividual(:indivH))
+
+  Declaration(NamedIndividual(:indivI))
+  Declaration(NamedIndividual(:indivJ))
+  Declaration(NamedIndividual(:indivK))
+  Declaration(NamedIndividual(:indivL))
+  Declaration(NamedIndividual(:indivM))
+  Declaration(NamedIndividual(:indivN))
+
+  SameIndividual(:indivA :indivB)
+  SameIndividual(:indivC :indivD)
+  SameIndividual(:indivE :indivF)
+  SameIndividual(:indivG :indivH)
+
+  ObjectPropertyAssertion(:objProp01 :indivA :indivI)
+  ObjectPropertyAssertion(:objProp01 :indivJ :indivC)
+  ObjectPropertyAssertion(:objProp01 :indivA :indivC)
+
+  ObjectPropertyAssertion(:objProp02 :indivF :indivK)
+  ObjectPropertyAssertion(:objProp02 :indivL :indivH)
+  ObjectPropertyAssertion(:objProp02 :indivF :indivH)
+
+  ObjectPropertyAssertion(:objProp03 :indivM :indivN)
+)

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

@@ -464,4 +464,60 @@ class ForwardRuleReasonerOWLHorstTest extends FunSuite with SharedSparkContext w
     assert(inferred.contains(
       df.getOWLObjectPropertyAssertionAxiom(objProp01, indivA, indivB)))
   }
+
+  /**
+    * O10:
+    *   Condition:
+    *     u p v
+    *     u owl:sameAs x
+    *     v owl:sameAs y
+    *   Consequence:
+    *     x p y
+    */
+  test("Rule O10 should return correct results") {
+    val indivA = df.getOWLNamedIndividual(defaultPrefix + "indivA")
+    val indivB = df.getOWLNamedIndividual(defaultPrefix + "indivB")
+    val indivC = df.getOWLNamedIndividual(defaultPrefix + "indivC")
+    val indivD = df.getOWLNamedIndividual(defaultPrefix + "indivD")
+    val indivE = df.getOWLNamedIndividual(defaultPrefix + "indivE")
+    val indivF = df.getOWLNamedIndividual(defaultPrefix + "indivF")
+    val indivG = df.getOWLNamedIndividual(defaultPrefix + "indivG")
+    val indivH = df.getOWLNamedIndividual(defaultPrefix + "indivH")
+    val indivI = df.getOWLNamedIndividual(defaultPrefix + "indivI")
+    val indivJ = df.getOWLNamedIndividual(defaultPrefix + "indivJ")
+    val indivK = df.getOWLNamedIndividual(defaultPrefix + "indivK")
+    val indivL = df.getOWLNamedIndividual(defaultPrefix + "indivL")
+
+
+    val objProp01 = df.getOWLObjectProperty(defaultPrefix + "objProp01")
+    val objProp02 = df.getOWLObjectProperty(defaultPrefix + "objProp02")
+
+    val input = getClass.getResource(resourcePath + "test_o10.owl").getPath
+
+    val axiomsRDD = spark.owl(Syntax.FUNCTIONAL)(input)
+    val reasoner = new ForwardRuleReasonerOWLHorst(sc, sc.defaultMinPartitions)
+    val inferred: Seq[OWLAxiom] = reasoner.apply(axiomsRDD).collect()
+
+    // Six axioms should be inferred:
+    // ObjectPropertyAssertion(:objProp01 :indivB :indivI)
+    // ObjectPropertyAssertion(:objProp01 :indivJ :indivD)
+    // ObjectPropertyAssertion(:objProp01 :indivB :indivD)
+    //
+    // ObjectPropertyAssertion(:objProp02 :indivE :indivK)
+    // ObjectPropertyAssertion(:objProp02 :indivL :indivG)
+    // ObjectPropertyAssertion(:objProp02 :indivE :indivG)
+    assert(inferred.size == 6)
+    assert(inferred.contains(
+      df.getOWLObjectPropertyAssertionAxiom(objProp01, indivB, indivI)))
+    assert(inferred.contains(
+      df.getOWLObjectPropertyAssertionAxiom(objProp01, indivJ, indivD)))
+    assert(inferred.contains(
+      df.getOWLObjectPropertyAssertionAxiom(objProp01, indivB, indivD)))
+    assert(inferred.contains(
+      df.getOWLObjectPropertyAssertionAxiom(objProp02, indivE, indivK)))
+    assert(inferred.contains(
+      df.getOWLObjectPropertyAssertionAxiom(objProp02, indivL, indivG)))
+    assert(inferred.contains(
+      df.getOWLObjectPropertyAssertionAxiom(objProp02, indivE, indivG)))
+  }
 }