Added test for Forw.RuleReasonerOWLHorst rule O12c

Author: patrickwestphal

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

@@ -0,0 +1,33 @@
+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))
+
+  # should be detected as equivalent properties
+  SubObjectPropertyOf(:objProp02 :objProp01)
+  SubObjectPropertyOf(:objProp01 :objProp02)
+
+  # just random sub property axioms
+  SubObjectPropertyOf(:objProp04 :objProp03)
+  SubObjectPropertyOf(:objProp04 :objProp05)
+
+  Declaration(DataProperty(:dataProp01))
+  Declaration(DataProperty(:dataProp02))
+  Declaration(DataProperty(:dataProp03))
+  Declaration(DataProperty(:dataProp04))
+  Declaration(DataProperty(:dataProp05))
+
+  # should be detected as equivalent properties
+  SubDataPropertyOf(:dataProp02 :dataProp01)
+  SubDataPropertyOf(:dataProp01 :dataProp02)
+
+  # just random sub property axioms
+  SubDataPropertyOf(:dataProp04 :dataProp03)
+  SubDataPropertyOf(:dataProp04 :dataProp05)
+)

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

@@ -705,4 +705,35 @@ class ForwardRuleReasonerOWLHorstTest extends FunSuite with SharedSparkContext w
     // There is no EquivalentAnnotationProperties( ) construct --> annotation
     // property equivalence skipped
   }
+
+  /**
+    * O12c:
+    *   Condition:
+    *     v owl:subPropertyOf w
+    *     w owl:subPropertyOf v
+    *   Consequence:
+    *     v rdfs:equivalentProperty w
+    */
+  test("Rule O12c should return correct results") {
+    val objProp01 = df.getOWLObjectProperty(defaultPrefix + "objProp01")
+    val objProp02 = df.getOWLObjectProperty(defaultPrefix + "objProp02")
+
+    val dataProp01 = df.getOWLDataProperty(defaultPrefix + "dataProp01")
+    val dataProp02 = df.getOWLDataProperty(defaultPrefix + "dataProp02")
+
+    val input = getClass.getResource(resourcePath + "test_o12c.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:
+    // EquivalentObjectProperties(:objProp01 :objProp02)
+    // EquivalentDataProperties(:dataProp01 :dataProp02)
+    assert(inferred.size == 2)
+    assert(inferred.contains(
+      df.getOWLEquivalentObjectPropertiesAxiom(objProp01, objProp02)))
+    assert(inferred.contains(
+      df.getOWLEquivalentDataPropertiesAxiom(dataProp01, dataProp02)))
+  }
 }