Query-Subquery Nets with Stratified Negation

摘要

In this paper, we incorporate the concept of stratified negation into query-subquery nets to obtain an evaluation method called QSQN-STR for dealing with stratified knowledge bases. Particularly, we extend query-subquery nets by allowing negated atoms in the bodies of some program clauses. The empirical results illustrate the usefulness of the method.