aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/Main.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/rsacomb/Main.scala')
-rw-r--r--src/main/scala/rsacomb/Main.scala17
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 {
52 /* Build canonical model */ 52 /* Build canonical model */
53 //val tboxCanon = rsa.canonicalModel() 53 //val tboxCanon = rsa.canonicalModel()
54 54
55 // DEBUG: print program to generate canonical model
56 {
57 import tech.oxfordsemantic.jrdfox.logic.{Variable}
58 import org.semanticweb.owlapi.model.parameters.Imports
59 import java.util.stream.{Collectors}
60 import scala.collection.JavaConverters._
61
62 val visitor = ProgramGenerator(Variable.create("x"), ontology.unsafeRoles)
63 val axioms =
64 ontology
65 .tboxAxioms(Imports.INCLUDED)
66 .collect(Collectors.toList())
67 .asScala
68 println("Program to generate the canonical model:")
69 axioms.flatMap(_.accept(visitor)).foreach(println)
70 }
71
55 /* Load query */ 72 /* Load query */
56 val query = RDFoxUtil.parseQuery( 73 val query = RDFoxUtil.parseQuery(
57 "SELECT ?X WHERE {?X ?Y ?Z}" 74 "SELECT ?X WHERE {?X ?Y ?Z}"