aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-19 11:45:01 +0000
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-19 11:46:13 +0000
commite84d4a15401b0a83dbb7d502723c33abf656b9ff (patch)
tree6d7380862399a87f1841532f8e97f2471c54e27c /src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
parent3c6307166d18890212c364a82fc15fb1ba7725e1 (diff)
downloadRSAComb-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.scala7
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