From 691f5b4fe1a90eb96961d9a1ceba7064f00e4c87 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Thu, 12 Nov 2020 17:21:59 +0000 Subject: 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. --- src/main/scala/rsacomb/FilteringProgram.scala | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/main/scala') 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]) val bounded: List[Term] = this.variables.filterNot(answer.contains(_)) val facts: List[TupleTableAtom] = constants.map(named) - val rules: List[Rule] = this.generateFilteringProgram().map(reifyRule) + val rules: List[Rule] = + this.generateFilteringProgram().map(reifyRule) ++ facts.map(Rule.create(_)) private def named(t: Term): TupleTableAtom = TupleTableAtom.rdf( -- cgit v1.2.3