diff options
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.scala | 3 |
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 | |||
49 | import uk.ac.ox.cs.rsacomb.converter.{RDFoxAxiomConverter, SkolemStrategy} | 49 | import uk.ac.ox.cs.rsacomb.converter.{RDFoxAxiomConverter, SkolemStrategy} |
50 | import uk.ac.ox.cs.rsacomb.implicits.RSAAxiom | 50 | import uk.ac.ox.cs.rsacomb.implicits.RSAAxiom |
51 | import uk.ac.ox.cs.rsacomb.suffix.{Empty, Forward, Backward, Inverse} | 51 | import uk.ac.ox.cs.rsacomb.suffix.{Empty, Forward, Backward, Inverse} |
52 | import uk.ac.ox.cs.rsacomb.sparql.ConjunctiveQuery | ||
52 | import uk.ac.ox.cs.rsacomb.util.{RDFoxHelpers, RSA} | 53 | import uk.ac.ox.cs.rsacomb.util.{RDFoxHelpers, RSA} |
53 | 54 | ||
54 | object RSAOntology { | 55 | object 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) |