aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-12 17:21:59 +0000
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-12 17:21:59 +0000
commit691f5b4fe1a90eb96961d9a1ceba7064f00e4c87 (patch)
tree23b3b02e645b6ff697e790187b64f83621981543 /src/main/scala
parent1bc33ba8b960825f7df2d08abb24525d3ab0537b (diff)
downloadRSAComb-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.scala3
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(