[vlog] Query answering over predicate that has not been loaded into VLog is SOUND_AND_COMPLETE; should be INCORRECT

knowsys / rulewerk

Java library based on the VLog rule engine

Apache License 2.0

32 stars 13 forks source link

[vlog] Query answering over predicate that has not been loaded into VLog is SOUND_AND_COMPLETE; should be INCORRECT #182

Open irina-dragoste opened 4 years ago

irina-dragoste commented 4 years ago

Adding a fact over a new predicate (or rule with a new predicate in the head) to the KB and calling answerQuery() without reasoning (i.e. when the Reasoner is in KB_CHANGED state) results in a SOUND_AND_COMPLETE empty query result, and a warning about calling query answering over unknown predicate. However, the correctness should be INCORRECT.