1 files changed, 24 insertions, 0 deletions

diff --git a/src/main/scala/rsacomb/RSA.scala b/src/main/scala/rsacomb/RSA.scala
index 79617c7..c0d4e51 100644
--- a/src/main/scala/rsacomb/RSA.scala
+++ b/src/main/scala/rsacomb/RSA.scala
@@ -8,6 +8,18 @@ import tech.oxfordsemantic.jrdfox.Prefixes
 import tech.oxfordsemantic.jrdfox.logic.IRI
 import org.semanticweb.owlapi.apibinding.OWLManager
 import org.semanticweb.owlapi.model.OWLOntology
+import rsacomb.RSAOntology
+
+// Debug only
+import tech.oxfordsemantic.jrdfox.logic.{
+  Formula,
+  Atom,
+  Variable,
+  Query,
+  QueryType,
+  Conjunction
+}
+import scala.collection.JavaConverters._
 
 object RSA extends RSAOntology {
 
@@ -18,6 +30,18 @@ object RSA extends RSAOntology {
   Prefixes.declarePrefix("rdfs:", "http://www.w3.org/2000/01/rdf-schema#")
   Prefixes.declarePrefix("owl:", "http://www.w3.org/2002/07/owl#")
 
+  val varX = Variable.create("X")
+  val varY = Variable.create("Y")
+  val varZ = Variable.create("Z")
+  val testAnswerVars = List[Variable](varX, varY, varZ).asJava;
+  val testFormula: Formula =
+    Conjunction.create(
+      Atom.rdf(varX, IRI.TOP_OBJECT_PROPERTY, varY),
+      Atom.rdf(varY, IRI.TOP_OBJECT_PROPERTY, varZ)
+    )
+  val test_query =
+    Query.create(QueryType.SELECT, false, testAnswerVars, testFormula)
+
   def internal(name: String): IRI =
     IRI.create(
       Prefixes.getPrefixIRIsByPrefixName.get("internal:").getIRI + name