Esempio n. 1
0
 @Override
 public boolean isEntailed(DLProgram program, Literal query) {
   return isEntailed(program.getClauses(), query);
 }
Esempio n. 2
0
 @Override
 public List<Literal> query(DLProgram program, Literal query) {
   return query(program.getClauses(), query);
 }