aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala')
-rw-r--r--src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
index c4d4184..9640ccc 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
@@ -49,6 +49,7 @@ import org.semanticweb.owlapi.model.OWLObjectInverseOf
49import uk.ac.ox.cs.rsacomb.converter.{RDFoxAxiomConverter, SkolemStrategy} 49import uk.ac.ox.cs.rsacomb.converter.{RDFoxAxiomConverter, SkolemStrategy}
50import uk.ac.ox.cs.rsacomb.implicits.RSAAxiom 50import uk.ac.ox.cs.rsacomb.implicits.RSAAxiom
51import uk.ac.ox.cs.rsacomb.suffix.{Empty, Forward, Backward, Inverse} 51import uk.ac.ox.cs.rsacomb.suffix.{Empty, Forward, Backward, Inverse}
52import uk.ac.ox.cs.rsacomb.sparql.ConjunctiveQuery
52import uk.ac.ox.cs.rsacomb.util.{RDFoxHelpers, RSA} 53import uk.ac.ox.cs.rsacomb.util.{RDFoxHelpers, RSA}
53 54
54object RSAOntology { 55object RSAOntology {
@@ -261,7 +262,7 @@ class RSAOntology(val ontology: OWLOntology) extends RSAAxiom {
261 Graph(edges: _*) 262 Graph(edges: _*)
262 } 263 }
263 264
264 def filteringProgram(query: SelectQuery): FilteringProgram = 265 def filteringProgram(query: ConjunctiveQuery): FilteringProgram =
265 new FilteringProgram(query, individuals) 266 new FilteringProgram(query, individuals)
266 267
267 lazy val canonicalModel = new CanonicalModel(this) 268 lazy val canonicalModel = new CanonicalModel(this)