Skip to main content
SpringerLink
Log in

Query-Subquery Nets with Stratified Negation

  • Conference paper
Advanced Computational Methods for Knowledge Engineering

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 358))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley (1995)

    Google Scholar 

  2. Apt, K.R., Blair, H.A., Walker, A.: Towards a Theory of Declarative Knowledge. In: Found. of Deductive Databases and Logic Programming, pp. 89–148 (1988)

    Google Scholar 

  3. Apt, K.R., Bol, R.: Logic programming and negation: A survey. Journal of Logic Programming 19, 9–71 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  4. Bailey, J., Bry, F., Furche, T., Schaffert, S.: Semantic web query languages. In: Encyclopedia of Database Systems, pp. 2583–2586. Springer US (2009)

    Google Scholar 

  5. Balbin, I., Port, G.S., Ramamohanarao, K., Meenakshi, K.: Efficient bottom-up computation of queries on stratified databases. J. Log. Program. 11(3-4), 295–344 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  6. Bry, F., Furche, T., Ley, C., Marnette, B., Linse, B., Schaffert, S.: Datalog relaunched: Simulation unification and value invention. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2010. LNCS, vol. 6702, pp. 321–350. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  7. Cao, S.T.: On the efficiency of Query-Subquery Nets: an experimental point of view. In: Proceedings of SoICT 2013, pp. 148–157. ACM (2013)

    Google Scholar 

  8. Cao, S.T.: An Implementation of the QSQN-STR Evaluation Methods (2014), http://mimuw.edu.pl/~sonct/QSQNSTR15.zip

  9. Cao, S.T., Nguyen, L.A.: An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases. In: van Do, T., Le Thi, H.A., Nguyen, N.T. (eds.) Advanced Computational Methods for Knowledge Engineering. AISC, vol. 282, pp. 281–295. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  10. Cao, S.T., Nguyen, L.A.: An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination. In: Bassiliades, N., Ivanovic, M., Kon-Popovska, M., Manolopoulos, Y., Palpanas, T., Trajcevski, G., Vakali, A. (eds.) New Trends in Database and Information Systems II. AISC, vol. 312, pp. 109–120. Springer, Heidelberg (2015)

    Google Scholar 

  11. Cao, S.T., Nguyen, L.A., Szalas, A.: The Web Ontology Rule Language OWL 2 RL+ and Its Extensions. T. Comp. Collective Intelligence 13, 152–175 (2014)

    Google Scholar 

  12. Cao, S.T., Nguyen, L.A., Szalas, A.: WORL: a nonmonotonic rule language for the Semantic Web. Vietnam J. Computer Science 1(1), 57–69 (2014)

    Article  Google Scholar 

  13. Chen, Y.: Magic sets and stratified databases. Int. Journal of Intelligent Systems 12(3), 203–231 (1997)

    Article  MATH  Google Scholar 

  14. Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R.: Well-founded semantics for description logic programs in the Semantic Web. ACM Trans. Comput. Log. 12(2), 11 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  15. Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 619–649 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  16. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of Logic Programming Symposium, pp. 1070–1080. MIT Press (1988)

    Google Scholar 

  17. Green, T.J., Huang, S.S., Loo, B.T., Zhou, W.: Datalog and Recursive Query Processing. Foundations and Trends in Databases 5(2), 105–195 (2013)

    Article  MATH  Google Scholar 

  18. Kerisit, J.M., Pugin, J.M.: Efficient query answering on stratified databases. In: FGCS 1988, pp. 719–726 (1988)

    Google Scholar 

  19. Madalińska-Bugaj, E., Nguyen, L.A.: A generalized QSQR evaluation method for Horn knowledge bases. ACM Trans. on Computational Logic 13(4), 32 (2012)

    MathSciNet  MATH  Google Scholar 

  20. Naqvi, S.: A logic for negation in database system. In: Foundations of Deductive Data-bases and Logic Programming (1987)

    Google Scholar 

  21. Nguyen, L.A., Cao, S.T.: Query-Subquery Nets. In: Nguyen, N.-T., Hoang, K., Jędrzejowicz, P. (eds.) ICCCI 2012, Part I. LNCS, vol. 7653, pp. 239–248. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  22. Ramamohanarao, K., Harland, J.: An Introduction to Deductive Database Languages and Systems. The VLDB Journal 3(2), 107–122 (1994)

    Article  Google Scholar 

  23. Ruckhaus, E., Ruiz, E., Vidal, M.-E.: Query evaluation and optimization in the semantic web. Theory Pract. Log. Program. 8(3), 393–409 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  24. Sáenz-Pérez, F., et al.: Datalog Educational System: A Deductive Database System (2014), http://des.sourceforge.net

Download references

Author information

Authors and Affiliations

  1. Faculty of Information Technology, Vinh University, 182 Le Duan street, Vinh, Nghe An, Vietnam

    Son Thanh Cao

  2. Institute of Informatics, University of Warsaw, Banacha 2, 02-097, Warsaw, Poland

    Son Thanh Cao

Authors
  1. Son Thanh Cao
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Son Thanh Cao .

Editor information

Editors and Affiliations

  1. LITA - UFR MIM, University of Lorraine – Metz, Metz, France

    Hoai An Le Thi

  2. Institute of Informatics & Wrocław University of Technology, Wrocław, Poland

    Ngoc Thanh Nguyen

  3. Department of Networked Systems and Services, Budapest University of Technology and Economics, Budapest, Hungary

    Tien Van Do

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

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. https://doi.org/10.1007/978-3-319-17996-4_32

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-17996-4_32

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-17995-7

  • Online ISBN: 978-3-319-17996-4

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation