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 | ||