Added test for Forw.RuleReasonerOWLHorst rule O14

Author: patrickwestphal

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

@@ -0,0 +1,43 @@
+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(Class(:Cls01))
+  Declaration(Class(:Cls02))
+  Declaration(Class(:Cls03))
+  Declaration(Class(:Cls04))
+  Declaration(Class(:Cls05))
+  Declaration(Class(:Cls06))
+  Declaration(Class(:Cls07))
+  Declaration(Class(:Cls08))
+
+  Declaration(NamedIndividual(:indivA))
+  Declaration(NamedIndividual(:indivB))
+  Declaration(NamedIndividual(:indivC))
+  Declaration(NamedIndividual(:indivD))
+  Declaration(NamedIndividual(:indivE))
+  Declaration(NamedIndividual(:indivF))
+  Declaration(NamedIndividual(:indivG))
+
+
+  EquivalentClasses(:Cls01 ObjectSomeValuesFrom(:objProp01 :Cls02))
+  EquivalentClasses(:Cls03 ObjectSomeValuesFrom(:objProp02 :Cls04))
+
+  ClassAssertion(:Cls02 :indivB)
+  ClassAssertion(:Cls05 :indivD)
+  ClassAssertion(:Cls06 :indivE)
+  ClassAssertion(:Cls07 :indivF)
+  ClassAssertion(:Cls08 :indivG)
+
+  # indivA should be detected as instance of :Cls01
+  ObjectPropertyAssertion(:objProp01 :indivA :indivB)
+
+  # These should not result in any class assertion inferences
+  ObjectPropertyAssertion(:objProp01 :indivC :indivD)
+  ObjectPropertyAssertion(:objProp02 :indivE :indivB)
+  ObjectPropertyAssertion(:objProp02 :indivF :indivG)
+)

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

@@ -799,7 +799,7 @@ class ForwardRuleReasonerOWLHorstTest extends FunSuite with SharedSparkContext w
     *   Consequence:
     *     u p v
     *
-    *  FIXME: Make this test check the exact count of inferred axioms
+    * FIXME: Make this test check the exact count of inferred axioms
     */
   test("Rule O14 should return correct results") {
     val objProp01 = df.getOWLObjectProperty(defaultPrefix + "objProp01")
@@ -825,4 +825,32 @@ class ForwardRuleReasonerOWLHorstTest extends FunSuite with SharedSparkContext w
       df.getOWLDataPropertyAssertionAxiom(
         dataProp01, indivC, df.getOWLLiteral("ABCD"))))
   }
+
+  /**
+    * O15:
+    *  Condition:
+    *     v owl:someValuesFrom w
+    *     v owl:onProperty p
+    *     u p x
+    *     x rdf:type w
+    *   Consequence:
+    *     u rdf:type v
+    *
+    * FIXME: Make this test check the exact count of inferred axioms
+    */
+  test("Rule O15 should return correct results") {
+    val cls01 = df.getOWLClass(defaultPrefix + "Cls01")
+    val indivA = df.getOWLNamedIndividual(defaultPrefix + "indivA")
+
+    val input = getClass.getResource(resourcePath + "test_o15.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 :indivA)
+    assert(inferred.size >= 1)
+    assert(inferred.contains(df.getOWLClassAssertionAxiom(cls01, indivA)))
+  }
 }