1 files changed, 46 insertions, 0 deletions

diff --git a/src/test/scala/rsacomb/CanonicalModelSpec.scala b/src/test/scala/rsacomb/CanonicalModelSpec.scala
new file mode 100644
index 0000000..44c4441
--- /dev/null
+++ b/src/test/scala/rsacomb/CanonicalModelSpec.scala
@@ -0,0 +1,46 @@
+package rsacomb
+
+import java.io.File
+import org.scalatest.{FlatSpec, Matchers, LoneElement}
+
+import org.semanticweb.owlapi.model._
+import uk.ac.manchester.cs.owl.owlapi._
+
+import tech.oxfordsemantic.jrdfox.logic.{Rule, Variable}
+
+import scala.collection.JavaConverters._
+
+import rsacomb.RSA._
+import rsacomb.RDFoxUtil._
+
+object CanonicalModelSpec {
+
+  val ontology1_path: File = new File("examples/example1.owl")
+  val ontology1 = RSA.loadOntology(ontology1_path)
+  val program1 = ontology1.canonicalModel
+
+  val axiom1 = new OWLSubClassOfAxiomImpl(
+    new OWLClassImpl(RSA.base("A")),
+    new OWLClassImpl(RSA.base("D")),
+    Seq().asJava
+  )
+
+} // object OWLAxiomSpec
+
+class CanonicalModelSpec extends FlatSpec with Matchers with LoneElement {
+
+  import CanonicalModelSpec._
+
+  // Example 1
+  "The program generated from Example1" should "not be empty" in {
+    program1 should not be empty
+  }
+
+  axiom1.toString should "be converted into a single Rule" in {
+    val varX = Variable.create("X")
+    val visitor = ProgramGenerator(ontology1, varX)
+    val rules = axiom1.accept(visitor)
+    rules.loneElement shouldBe a[Rule]
+  }
+
+} // class OWLAxiomSpec