Add method to parse a string into a Query

This is using `SPARQLParser`, an undocumented class provided by JRDFox

1 files changed, 1 insertions, 12 deletions

diff --git a/src/main/scala/rsacomb/RSA.scala b/src/main/scala/rsacomb/RSA.scala
index 9125f9f..edabc6a 100644
--- a/src/main/scala/rsacomb/RSA.scala
+++ b/src/main/scala/rsacomb/RSA.scala
@@ -4,6 +4,7 @@ package rsacomb
 import java.io.File
 import java.util.Map
 
+import tech.oxfordsemantic.jrdfox.formats.SPARQLParser
 import tech.oxfordsemantic.jrdfox.Prefixes
 import tech.oxfordsemantic.jrdfox.logic.IRI
 import org.semanticweb.owlapi.apibinding.OWLManager
@@ -38,18 +39,6 @@ object RSA extends RSAOntology {
     Variable.create(f"I$counter%03d")
   }
 
-  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: Any): IRI =
     IRI.create(
       Prefixes.getPrefixIRIsByPrefixName.get("internal:").getIRI