Added test for ForwardRuleReasonerOWLHorst R2 rule

Author: patrickwestphal

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

@@ -0,0 +1,39 @@
+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(ObjectProperty(:objProp05))
+
+  Declaration(DataProperty(:dataProp01))
+  Declaration(DataProperty(:dataProp02))
+  Declaration(DataProperty(:dataProp03))
+  Declaration(DataProperty(:dataProp04))
+  Declaration(DataProperty(:dataProp05))
+
+  Declaration(AnnotationProperty(:annProp01))
+  Declaration(AnnotationProperty(:annProp02))
+  Declaration(AnnotationProperty(:annProp03))
+  Declaration(AnnotationProperty(:annProp04))
+  Declaration(AnnotationProperty(:annProp05))
+
+
+  SubObjectPropertyOf(:objProp02 :objProp01)
+  SubObjectPropertyOf(:objProp03 :objProp02)
+  SubObjectPropertyOf(:objProp04 :objProp03)
+  SubObjectPropertyOf(:objProp05 :objProp01)
+
+  SubDataPropertyOf(:dataProp02 :dataProp01)
+  SubDataPropertyOf(:dataProp03 :dataProp02)
+  SubDataPropertyOf(:dataProp04 :dataProp03)
+  SubDataPropertyOf(:dataProp05 :dataProp01)
+
+  SubAnnotationPropertyOf(:annProp02 :annProp01)
+  SubAnnotationPropertyOf(:annProp03 :annProp02)
+  SubAnnotationPropertyOf(:annProp04 :annProp03)
+  SubAnnotationPropertyOf(:annProp05 :annProp01)
+)

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

@@ -74,6 +74,70 @@ class ForwardRuleReasonerOWLHorstTest extends FunSuite with SharedSparkContext w
     assert(inferred.contains(df.getOWLSubClassOfAxiom(cls03, cls01)))
     assert(inferred.contains(df.getOWLSubClassOfAxiom(cls04, cls01)))
     assert(inferred.contains(df.getOWLSubClassOfAxiom(cls04, cls02)))
+  }
+
+  /**
+    * R2:
+    *   Condition:
+    *     p rdfs:subPropertyOf p1
+    *     p1 rdfs:subPropertyOf p2
+    *   Consequence:
+    *     p rdfs:subPropertyOf p2
+    */
+  test("Rule R2 should return correct results") {
+    /*
+     * Property hierarchies:
+     *
+     *       :objProp01              :dataProp01             :annProp01
+     *        /      \                 /      \                /      \
+     * :objProp02  :objProp05  :dataProp02  :dataProp05  :annProp02  :annProp05
+     *       |                        |                       |
+     * :objProp03              :dataProp03               :annProp03
+     *       |                        |                       |
+     * :objProp04              :dataProp04               :annProp04
+     */
+    val objProp01 = df.getOWLObjectProperty(defaultPrefix + "objProp01")
+    val objProp02 = df.getOWLObjectProperty(defaultPrefix + "objProp02")
+    val objProp03 = df.getOWLObjectProperty(defaultPrefix + "objProp03")
+    val objProp04 = df.getOWLObjectProperty(defaultPrefix + "objProp04")
+
+    val dataProp01 = df.getOWLDataProperty(defaultPrefix + "dataProp01")
+    val dataProp02 = df.getOWLDataProperty(defaultPrefix + "dataProp02")
+    val dataProp03 = df.getOWLDataProperty(defaultPrefix + "dataProp03")
+    val dataProp04 = df.getOWLDataProperty(defaultPrefix + "dataProp04")
+
+    val annProp01 = df.getOWLAnnotationProperty(defaultPrefix + "annProp01")
+    val annProp02 = df.getOWLAnnotationProperty(defaultPrefix + "annProp02")
+    val annProp03 = df.getOWLAnnotationProperty(defaultPrefix + "annProp03")
+    val annProp04 = df.getOWLAnnotationProperty(defaultPrefix + "annProp04")
+
+
+    val input = getClass.getResource(resourcePath + "test_r2.owl").getPath
+
+    val axiomsRDD = spark.owl(Syntax.FUNCTIONAL)(input)
+    val reasoner = new ForwardRuleReasonerOWLHorst(sc, sc.defaultMinPartitions)
+    val inferred: Seq[OWLAxiom] = reasoner.apply(axiomsRDD).collect()
+
+    // Nine axioms should be inferred:
+    // SubObjectPropertyOf(:objProp03 :objProp01)
+    // SubObjectPropertyOf(:objProp04 :objProp01)
+    // SubObjectPropertyOf(:objProp04 :objProp02)
+    // SubDataPropertyOf(:dataProp03 :dataProp01)
+    // SubDataPropertyOf(:dataProp04 :dataProp01)
+    // SubDataPropertyOf(:dataProp04 :dataProp02)
+    // SubAnnotationProperty(:annProp03 :annProp01)
+    // SubAnnotationProperty(:annProp04 :annProp01)
+    // SubAnnotationProperty(:annProp04 :annProp02)
+    assert(inferred.size == 9)
+    assert(inferred.contains(df.getOWLSubObjectPropertyOfAxiom(objProp03, objProp01)))
+    assert(inferred.contains(df.getOWLSubObjectPropertyOfAxiom(objProp04, objProp01)))
+    assert(inferred.contains(df.getOWLSubObjectPropertyOfAxiom(objProp04, objProp02)))
+    assert(inferred.contains(df.getOWLSubDataPropertyOfAxiom(dataProp03, dataProp01)))
+    assert(inferred.contains(df.getOWLSubDataPropertyOfAxiom(dataProp04, dataProp01)))
+    assert(inferred.contains(df.getOWLSubDataPropertyOfAxiom(dataProp04, dataProp02)))
+    assert(inferred.contains(df.getOWLSubAnnotationPropertyOfAxiom(annProp03, annProp01)))
+    assert(inferred.contains(df.getOWLSubAnnotationPropertyOfAxiom(annProp04, annProp01)))
+    assert(inferred.contains(df.getOWLSubAnnotationPropertyOfAxiom(annProp04, annProp02)))
 
   }
 }