Add rule generation for unsafe T5 axioms for canonical model

1 files changed, 17 insertions, 0 deletions

diff --git a/src/main/scala/rsacomb/Main.scala b/src/main/scala/rsacomb/Main.scala
index c6bd6a1..7900e19 100644
--- a/src/main/scala/rsacomb/Main.scala
+++ b/src/main/scala/rsacomb/Main.scala
@@ -52,6 +52,23 @@ object RSAComb extends App {
     /* Build canonical model */
     //val tboxCanon = rsa.canonicalModel()
 
+    // DEBUG: print program to generate canonical model
+    {
+      import tech.oxfordsemantic.jrdfox.logic.{Variable}
+      import org.semanticweb.owlapi.model.parameters.Imports
+      import java.util.stream.{Collectors}
+      import scala.collection.JavaConverters._
+
+      val visitor = ProgramGenerator(Variable.create("x"), ontology.unsafeRoles)
+      val axioms =
+        ontology
+          .tboxAxioms(Imports.INCLUDED)
+          .collect(Collectors.toList())
+          .asScala
+      println("Program to generate the canonical model:")
+      axioms.flatMap(_.accept(visitor)).foreach(println)
+    }
+
     /* Load query */
     val query = RDFoxUtil.parseQuery(
       "SELECT ?X WHERE {?X ?Y ?Z}"