Skip to main content
SpringerLink
Log in

Web Rules Need Two Kinds of Negation

  • Conference paper
Book cover Principles and Practice of Semantic Web Reasoning (PPSWR 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2901))

Abstract

In natural language, and in some knowledge representation systems, such as extended logic programs, there are two kinds of negation: a weak negation expressing non-truth, and a strong negation expressing explicit falsity. In this paper I argue that, like in several basic computational languages, such as OCL and SQL, two kinds of negation are also needed for a Web rule language.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. Berners-Lee, T.: Reaching out onto the web, web document http://www.w3.org/2000/10/swap/doc/Reach

  2. Boley, H., Tabet, S., Wagner, G.: Design Rationale of RuleML: A Markup Language for Semantic Web Rules. In: Proc. Semantic Web Working Symposium (SWWS 2001), Stanford University (July/August 2001)

    Google Scholar 

  3. Decker, S., Dean, M., McGuinness, D.: Requirements and use cases for a semantic web rule language, web document http://www.isi.edu/stefan/rules/20030325/

  4. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K.A. (eds.) Proc. of ICLP, pp. 1070–1080. MIT Press, Cambridge (1988)

    Google Scholar 

  5. Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Proc. of Int. Conf. on Logic Programming, MIT Press, Cambridge (1990)

    Google Scholar 

  6. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365–385 (1991)

    Article  Google Scholar 

  7. Grosof, B.N., Labrou, Y., Chan, H.Y.: A declarative approach to business rules in contracts: Courteous logic programs in XML. In: Proc. 1st ACM Conference on Electronic Commerce (EC 1999), Denver, Colorado, USA (November 1999)

    Google Scholar 

  8. Grosof, B.N.: Prioritized conflict handling for logic programs. In: Maluszynski, J. (ed.) Proc. of the Int. Symposium on Logic Programming (ILPS 1997), MIT Press, Cambridge (1997)

    Google Scholar 

  9. Herre, H., Jaspars, J., Wagner, G.: Partial logics with two kinds of negation as a foundation of knowledge-based reasoning. In: Gabbay, D.M., Wansing, H. (eds.) What Is Negation?, Oxford University Press, Oxford (1999)

    Google Scholar 

  10. Herre, H., Wagner, G.: Stable models are generated by a stable chain. J. of Logic Programming 30(2), 165–177 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  11. Koerner, S.: Experience and Theory. Kegan Paul, London (1966)

    Google Scholar 

  12. Melton, J., Simon, A.R.: SQL:1999. Morgan Kaufmann, San Francisco (2002)

    Google Scholar 

  13. Pereira, L.M., Alferes, J.J.: Well founded semantics for logic programs with explicit negation. In: Neumann, B. (ed.) Proceedings of the European Conference on Artificial Intelligence (ECAI), pp. 102–106. Wiley, Chichester (1992)

    Google Scholar 

  14. Pearce, D.: Stable inference as intuitionistic validity. Journal of Logic Programming 38, 79–91 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  15. Pearce, D., Wagner, G.: Reasoning with negative information I – strong negation in logic programs. In: Kusch, M., Haaparanta, L., Niiniluoto, I. (eds.) Language, Knowledge and Intentionality. Acta Philosophica Fennica 49 (1990)

    Google Scholar 

  16. Reiter, R.: On closed-world databases. In: Minker, J., Gallaire, H. (eds.) Logic and Databases, Plenum Press, New York (1978)

    Google Scholar 

  17. van Gelder, A.: Negation as failure using tight derivations for general logic programs. In: Foundations of Deductive Databases and Logic Programming, pp. 149–176. Morgan Kaufmann, San Mateo (1988)

    Google Scholar 

  18. Wagner, G.: A database needs two kinds of negation. In: Thalheim, B., Gerhardt, H.-D., Demetrovics, J. (eds.) MFDBS 1991. LNCS, vol. 495, pp. 357–371. Springer, Heidelberg (1991)

    Google Scholar 

  19. Wagner, G.: Foundations of Knowledge Systems – with Applications to Databases and Agents. Advances in Database Systems, vol. 13. Kluwer Academic Publishers, Dordrecht (1998), See http://www.inf.fu-berlin.de/~wagnerg/ks.html

  20. Wagner, G.: How to design a general rule markup language? In: Proceedings of the First Workshop on XML Technologies for the Semantic Web (XSW 2002). Lecture Notes in Informatics, Berlin (June 2002) Gesellschaft für Informatik. invited paper

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Technology Management, Eindhoven University of Technology,  

    Gerd Wagner

Authors
  1. Gerd Wagner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Informatics, University of Munich, Oettingenstr. 67, D-80538, München, Germany

    François Bry

  2. IVS - Semantic Web Group, Leibniz University of Hannover, Appelstr. 4, D-30167, Hannover, Germany

    Nicola Henze

  3. Department of Computer and Information Science, Linköping University, 581 83, Linköping, Sweden

    Jan Małuszyński

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wagner, G. (2003). Web Rules Need Two Kinds of Negation. In: Bry, F., Henze, N., Małuszyński, J. (eds) Principles and Practice of Semantic Web Reasoning. PPSWR 2003. Lecture Notes in Computer Science, vol 2901. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24572-8_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24572-8_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20582-1

  • Online ISBN: 978-3-540-24572-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation