Skip to main content

Ten Theses on Logic Languages for the Semantic Web

  • Conference paper

Part of the Lecture Notes in Computer Science book series (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, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/11552222_5
  • Chapter length: 8 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   69.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-32028-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   89.99
Price excludes VAT (USA)

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)

    MATH  CrossRef  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)

    CrossRef  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)

    CrossRef  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)

    MATH  CrossRef  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

Authors

Editor information

Editors and Affiliations

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)