Added test for Forw.RuleReasonerOWLHorst rule O13

Author: patrickwestphal

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

@@ -0,0 +1,57 @@
+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(DataProperty(:dataProp01))
+  Declaration(DataProperty(:dataProp02))
+
+  Declaration(Class(:Cls01))
+  Declaration(Class(:Cls02))
+
+  # just random classes not further used
+  Declaration(Class(:Cls03))
+  Declaration(Class(:Cls04))
+
+  Declaration(NamedIndividual(:indivA))
+  Declaration(NamedIndividual(:indivB))
+  Declaration(NamedIndividual(:indivC))
+  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))
+
+  EquivalentClasses(:Cls01 ObjectHasValue(:objProp01 :indivB))
+  EquivalentClasses(:Cls02 DataHasValue(:objProp01 "ABCD"))
+
+  # :indivA should be detected as instance of :Cls01
+  ObjectPropertyAssertion(:objProp01 :indivA :indivB)
+
+  # Individuals should not be detected as instance of anything
+  ObjectPropertyAssertion(:objProp01 :indivC :indivD)
+  ObjectPropertyAssertion(:objProp02 :indivE :indivB)
+
+  # random assertions
+  ObjectPropertyAssertion(:objProp01 :indivF :indivG)
+  ObjectPropertyAssertion(:objProp02 :indivG :indivH)
+
+  # :indivI should be detected as instance of :Cls02
+  DataPropertyAssertion(:dataProp01 :indivI "ABCD")
+
+  # individuals should not be detected as instance of anything
+  DataPropertyAssertion(:dataProp01 :indivJ "DCBA")
+  DataPropertyAssertion(:dataProp02 :indivK "ABCD")
+
+  # random assertions
+  DataPropertyAssertion(:dataProp01 :indivL "EFGH")
+  DataPropertyAssertion(:dataProp02 :indivM "IJKL")
+)

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

@@ -735,4 +735,58 @@ class ForwardRuleReasonerOWLHorstTest extends FunSuite with SharedSparkContext w
     assert(inferred.contains(
       df.getOWLEquivalentDataPropertiesAxiom(dataProp01, dataProp02)))
   }
+
+  /**
+    * O13:
+    *   Condition:
+    *     v owl:hasValue w
+    *     v owl:onProperty p
+    *     u p v
+    *   Consequence:
+    *     u rdf:type v
+    *
+    * FIXME: for the test_o13.owl test data much more axioms are inferred
+    * which seem wrong. Thus, this test should be adapted to do an exact count
+    * on the inferred triples after the O13 rule was put into a separate method.
+    * Right now these wrongly inferred axioms are not detected.
+    */
+  test("Rule O13 should return correct results") {
+    val cls01 = df.getOWLClass(defaultPrefix + "Cls01")
+    val cls02 = df.getOWLClass(defaultPrefix + "Cls02")
+
+    val objProp01 = df.getOWLObjectProperty(defaultPrefix + "objProp01")
+    val dataProp01 = df.getOWLDataProperty(defaultPrefix + "dataProp01")
+
+    val indivA = df.getOWLNamedIndividual(defaultPrefix + "indivA")
+    val indivB = df.getOWLNamedIndividual(defaultPrefix + "indivB")
+    val indivI = df.getOWLNamedIndividual(defaultPrefix + "indivI")
+
+    val input = getClass.getResource(resourcePath + "test_o13.owl").getPath
+
+    val axiomsRDD = spark.owl(Syntax.FUNCTIONAL)(input)
+    val reasoner = new ForwardRuleReasonerOWLHorst(sc, sc.defaultMinPartitions)
+    val inferred: Seq[OWLAxiom] = reasoner.apply(axiomsRDD).collect()
+
+    // Two axioms should be inferred:
+    // ClassAssertion(:Cls01 :indivA)
+    // ClassAssertion(:Cls02 :indivI)
+    //
+    // With rule O10 also considering OWL vocabulary for inference (e.g. from
+    // :i rdf:type :ClsX . :ClsX owl:sameAs :ClsY infer :i rdf:type :ClsY)
+    // additionally
+    // ClassAssertion(ObjectHasValue(:objProp01 :indivB) :indivA)
+    // ClassAssertion(ObjectHasValue(:dataProp01 "ABCD") :indivI)
+    // should be inferred.
+    // FIXME: Make this a check on the exact count after having put the O13 inference into a separate method and just calling this particular method for testing
+    assert(inferred.size >= 4)
+    assert(inferred.contains(df.getOWLClassAssertionAxiom(cls01, indivA)))
+    assert(inferred.contains(df.getOWLClassAssertionAxiom(cls02, indivI)))
+    assert(inferred.contains(
+      df.getOWLClassAssertionAxiom(
+        df.getOWLObjectHasValue(objProp01, indivB), indivA)))
+    assert(inferred.contains(
+      df.getOWLClassAssertionAxiom(
+        df.getOWLDataHasValue(dataProp01, df.getOWLLiteral("ABCD")),
+        indivI)))
+  }
 }