From 099cad0129edb9822cc6ccb044b2109834715bb9 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Wed, 23 Sep 2020 19:59:06 +0200 Subject: Add method to parse a string into a Query This is using `SPARQLParser`, an undocumented class provided by JRDFox --- src/main/scala/rsacomb/RSA.scala | 13 +------------ 1 file changed, 1 insertion(+), 12 deletions(-) (limited to 'src/main/scala/rsacomb/RSA.scala') 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 -- cgit v1.2.3