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