diff options
Diffstat (limited to 'src/main/scala/rsacomb/Main.scala')
-rw-r--r-- | src/main/scala/rsacomb/Main.scala | 17 |
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}" |