aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RSA.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/rsacomb/RSA.scala')
-rw-r--r--src/main/scala/rsacomb/RSA.scala13
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
4import java.io.File 4import java.io.File
5import java.util.Map 5import java.util.Map
6 6
7import tech.oxfordsemantic.jrdfox.formats.SPARQLParser
7import tech.oxfordsemantic.jrdfox.Prefixes 8import tech.oxfordsemantic.jrdfox.Prefixes
8import tech.oxfordsemantic.jrdfox.logic.IRI 9import tech.oxfordsemantic.jrdfox.logic.IRI
9import org.semanticweb.owlapi.apibinding.OWLManager 10import org.semanticweb.owlapi.apibinding.OWLManager
@@ -38,18 +39,6 @@ object RSA extends RSAOntology {
38 Variable.create(f"I$counter%03d") 39 Variable.create(f"I$counter%03d")
39 } 40 }
40 41
41 val varX = Variable.create("X")
42 val varY = Variable.create("Y")
43 val varZ = Variable.create("Z")
44 val testAnswerVars = List[Variable](varX, varY, varZ).asJava;
45 val testFormula: Formula =
46 Conjunction.create(
47 Atom.rdf(varX, IRI.TOP_OBJECT_PROPERTY, varY),
48 Atom.rdf(varY, IRI.TOP_OBJECT_PROPERTY, varZ)
49 )
50 val test_query =
51 Query.create(QueryType.SELECT, false, testAnswerVars, testFormula)
52
53 def internal(name: Any): IRI = 42 def internal(name: Any): IRI =
54 IRI.create( 43 IRI.create(
55 Prefixes.getPrefixIRIsByPrefixName.get("internal:").getIRI 44 Prefixes.getPrefixIRIsByPrefixName.get("internal:").getIRI