aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RSAOntology.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/rsacomb/RSAOntology.scala')
-rw-r--r--src/main/scala/rsacomb/RSAOntology.scala11
1 files changed, 9 insertions, 2 deletions
diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala
index b81a8f5..ef1885b 100644
--- a/src/main/scala/rsacomb/RSAOntology.scala
+++ b/src/main/scala/rsacomb/RSAOntology.scala
@@ -17,7 +17,14 @@ import org.semanticweb.owlapi.model.{IRI => OWLIRI}
17import uk.ac.manchester.cs.owl.owlapi.OWLObjectPropertyImpl 17import uk.ac.manchester.cs.owl.owlapi.OWLObjectPropertyImpl
18 18
19import tech.oxfordsemantic.jrdfox.client.{UpdateType, DataStoreConnection} 19import tech.oxfordsemantic.jrdfox.client.{UpdateType, DataStoreConnection}
20import tech.oxfordsemantic.jrdfox.logic.{Resource, Rule, Atom, Variable, IRI} 20import tech.oxfordsemantic.jrdfox.logic.datalog.{Rule, TupleTableAtom}
21import tech.oxfordsemantic.jrdfox.logic.expression.{
22 Term,
23 Variable,
24 IRI,
25 Resource
26}
27import tech.oxfordsemantic.jrdfox.logic.sparql.statement.SelectQuery
21 28
22/* Scala imports */ 29/* Scala imports */
23import scala.collection.JavaConverters._ 30import scala.collection.JavaConverters._
@@ -249,7 +256,7 @@ trait RSAOntology {
249 Graph(edges: _*) 256 Graph(edges: _*)
250 } 257 }
251 258
252 def filteringProgram(query: Query): List[Rule] = 259 def filteringProgram(query: SelectQuery): List[Rule] =
253 FilteringProgram(query, individuals).rules 260 FilteringProgram(query, individuals).rules
254 261
255 // TODO: the following functions needs testing 262 // TODO: the following functions needs testing