Query-Subquery Nets with Stratified Negation

Conference paper

DOI: 10.1007/978-3-319-17996-4_32

Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 358)
Cite this paper as:
Cao S.T. (2015) Query-Subquery Nets with Stratified Negation. In: Le Thi H., Nguyen N., Do T. (eds) Advanced Computational Methods for Knowledge Engineering. Advances in Intelligent Systems and Computing, vol 358. Springer, Cham


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.


Horn knowledge bases deductive databases query processing stratified negation QSQN QSQN-STR 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Faculty of Information TechnologyVinh UniversityVinhVietnam
  2. 2.Institute of InformaticsUniversity of WarsawWarsawPoland

Personalised recommendations