diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-19 11:45:01 +0000 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-19 11:46:13 +0000 |
commit | e84d4a15401b0a83dbb7d502723c33abf656b9ff (patch) | |
tree | 6d7380862399a87f1841532f8e97f2471c54e27c /src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | |
parent | 3c6307166d18890212c364a82fc15fb1ba7725e1 (diff) | |
download | RSAComb-e84d4a15401b0a83dbb7d502723c33abf656b9ff.tar.gz RSAComb-e84d4a15401b0a83dbb7d502723c33abf656b9ff.zip |
Move NI instantiation in FilteringProgram
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 | 7 |
1 files changed, 2 insertions, 5 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 ac86e3d..93fd5cd 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | |||
@@ -261,11 +261,8 @@ class RSAOntology(val ontology: OWLOntology) extends RSAAxiom { | |||
261 | Graph(edges: _*) | 261 | Graph(edges: _*) |
262 | } | 262 | } |
263 | 263 | ||
264 | def filteringProgram( | 264 | def filteringProgram(query: SelectQuery): FilteringProgram = |
265 | query: SelectQuery, | 265 | new FilteringProgram(query, individuals) |
266 | nis: List[Term] | ||
267 | ): FilteringProgram = | ||
268 | new FilteringProgram(query, nis) | ||
269 | 266 | ||
270 | lazy val canonicalModel = new CanonicalModel(this) | 267 | lazy val canonicalModel = new CanonicalModel(this) |
271 | 268 | ||