diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-12 17:21:59 +0000 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-12 17:21:59 +0000 |
commit | 691f5b4fe1a90eb96961d9a1ceba7064f00e4c87 (patch) | |
tree | 23b3b02e645b6ff697e790187b64f83621981543 /src/main/scala | |
parent | 1bc33ba8b960825f7df2d08abb24525d3ab0537b (diff) | |
download | RSAComb-691f5b4fe1a90eb96961d9a1ceba7064f00e4c87.tar.gz RSAComb-691f5b4fe1a90eb96961d9a1ceba7064f00e4c87.zip |
Add NAMED facts to filtering program
The difference between NAMED and NI facts still needs to be clarified
but this is the implementation closest to the paper description.
Diffstat (limited to 'src/main/scala')
-rw-r--r-- | src/main/scala/rsacomb/FilteringProgram.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main/scala/rsacomb/FilteringProgram.scala b/src/main/scala/rsacomb/FilteringProgram.scala index 7cd9de7..9c51a1c 100644 --- a/src/main/scala/rsacomb/FilteringProgram.scala +++ b/src/main/scala/rsacomb/FilteringProgram.scala | |||
@@ -58,7 +58,8 @@ class FilteringProgram(query: SelectQuery, constants: List[Term]) | |||
58 | val bounded: List[Term] = this.variables.filterNot(answer.contains(_)) | 58 | val bounded: List[Term] = this.variables.filterNot(answer.contains(_)) |
59 | 59 | ||
60 | val facts: List[TupleTableAtom] = constants.map(named) | 60 | val facts: List[TupleTableAtom] = constants.map(named) |
61 | val rules: List[Rule] = this.generateFilteringProgram().map(reifyRule) | 61 | val rules: List[Rule] = |
62 | this.generateFilteringProgram().map(reifyRule) ++ facts.map(Rule.create(_)) | ||
62 | 63 | ||
63 | private def named(t: Term): TupleTableAtom = | 64 | private def named(t: Term): TupleTableAtom = |
64 | TupleTableAtom.rdf( | 65 | TupleTableAtom.rdf( |