Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Principles and Practice of Semantic Web Reasoning

PPSWR 2005: Principles and Practice of Semantic Web Reasoning pp 42–49Cite as

Ten Theses on Logic Languages for the Semantic Web

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3703))

Abstract

This articles discusses the logic, or logic-based, languages required for a full deployment of the Semantic Web. It presents ten theses addressing

  1. 1

    the kinds of logic languages needed,

  2. 2

    data and data processing,

  3. 3

    semantics, and

  4. 4

    engineering and rendering issues.

The views reported about in this article have been presented at the W3C Workshop on Rule Languages for Interoperability 27-28 April 2005, Washington, D.C., USA, http://www.w3.org/2004/12/rules-ws/.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Babu, S., Widom, J.: Continuous Queries over Data Streams. SIGMOD Record (2001)

    Google Scholar 

  2. Bailey, J., Bry, F., Pătrânjan, P.-L.: Composite Event Queries for Reactivity on the Web. In: Proc. 14th Int. World Wide Web Conference (2005)

    Google Scholar 

  3. Brownston, L., Farrell, R., Kant, E., Martin, N.: Programming Expert Systems in OPS5: An Introduction to Rule-based Programming. Addison-Wesley, Reading (1985)

    Google Scholar 

  4. Bry, F., Coskun, F., Durmaz, S., Furche, T., Olteanu, D., Spannagel, M.: The XML Stream Query Processor SPEX. In: Proc. 21st Int. Conf. on Data Engineering, ICDE (2005)

    Google Scholar 

  5. Bry, F., Pătrânjan, P.-L.: Reactivity on the Web: Paradigms and Applications of the Language XChange. In: Proc. 20th Annual ACM Symp. Applied Computing, SAC (2005)

    Google Scholar 

  6. Chen, W., Kifer, M., Warren, D.S.: HILOG: A Foundation for Higher-Order Logic Programming. Jour. of Logic Programming 15(3), 187–230 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  7. Dix, J., Pereira, L.M., Przymusinski, T.C.: Selected Papers from the Non-Monotonic Extensions of Logic Programming. In: Dix, J., Przymusinski, T.C., Moniz Pereira, L. (eds.) NMELP 1996. LNCS, vol. 1216. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  8. Doets, K.: From Logic to Logic Programming. MIT Press, Cambridge (1994)

    MATH  Google Scholar 

  9. Fuchs, N.E., Schwertel, U., Schwitter, R.: Attempto Controlled English – Not Just Another Logic Specification Language. In: Flener, P. (ed.) LOPSTR 1998. LNCS, vol. 1559, p. 1. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  10. Van Gelder, A., Ross, K.A., Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. Jour. ACM 38(3), 620–650 (1991)

    MATH  Google Scholar 

  11. Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proc. Int. Conf. and Symp. Logic Programming (1988)

    Google Scholar 

  12. Keisler, J.: Handbook of Mathematical Logic. chapter Fundamentals of Model Theory, pp. 47–103. North-Holland, Amsterdam (1989)

    Google Scholar 

  13. Manthey, R.: Active and Passive Rules in Database Systems: How do They Relate. In: Proc. 1st Workshop on Advances in Databases and Information Systems (1994)

    Google Scholar 

  14. Manthey, R., Bry, F.: SATCHMO: A Theorem Prover Implemented in Prolog. In: Proc. 9th Conf. on Automated Deduction (1988)

    Google Scholar 

  15. Marchiori, M., Saarela, J.: Query + Metadata + Logic = Metalog. In: Proc. QL 1998, The Query Languages Workshop (1998), http://www.w3.org/TandS/QL/QL98/

  16. Milner, R.: Fuly Abstract Models of Typed λ-Calculi. Theoretical Computer Science 4(1), 1–22 (1977)

    Article  MATH  MathSciNet  Google Scholar 

  17. Nguyen, B., Abiteboul, S., Cobena, G., Preda, M.: Monitoring XML Data on the Web. In: Proc. ACM SIGMOD Intl. Conf. on Management of Data (2001)

    Google Scholar 

  18. Pandey, S., Ramamritham, S.C.K.: Monitoring the Dynamic Web to Respond to Continuous Queries. In: Proc. 12th Int. World Wide Web Conference (2003)

    Google Scholar 

  19. Robie, J.: The Syntactic Web: Syntax and Semantic on the Web. In: Proc. XML Conf. and Exposition (2001)

    Google Scholar 

  20. Stickel, M.E.: Automated Deduction by Theory Resolution. Jour. of Automated Reasoning 1(4), 333–355 (1985)

    MATH  MathSciNet  Google Scholar 

  21. Stickel, M.E.: A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Computer. Jour. of Automated Reasoning (1988)

    Google Scholar 

  22. Terry, D., Goldberg, D., Nichols, D., Oki, B.: Continuous Queries over Append-Only Databases. In: Proc. ACM SIGMOD Int. Conf. on Management of Data (1992)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Munich, Germany

    François Bry

  2. University of Venice and W3C, Italy

    Massimo Marchiori

Authors
  1. François Bry
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Massimo Marchiori
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Projet Contraintes, INRIA Rocquencourt, Domaine de Voluceau, BP105, 78153, Le Chesnay Cedex, France

    François Fages

  2. Projet Contraintes, INRIA Rocquencourt, BP105, 78153, Le Chesnay Cedex, France

    Sylvain Soliman

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bry, F., Marchiori, M. (2005). Ten Theses on Logic Languages for the Semantic Web. In: Fages, F., Soliman, S. (eds) Principles and Practice of Semantic Web Reasoning. PPSWR 2005. Lecture Notes in Computer Science, vol 3703. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11552222_5

Download citation

  • DOI: https://doi.org/10.1007/11552222_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28793-3

  • Online ISBN: 978-3-540-32028-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation