Skip to main content
SpringerLink
Log in

Semantic Web Logic Programming Tools

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

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

Abstract

The last two decades of research in Logic Programming, both at the theoretical and practical levels, have addressed several topics highly relevant for the Semantic Web effort, providing very concrete answers to some open questions.

This paper describes succinctly the contributions from the Logic Programming group of Centro de Inteligência Artificial (CENTRIA) of Universidade Nova de Lisboa, as a prelude to a description of our recent efforts to develop integrated standard tools for disseminating this research throughout the interested Web communities. The paper does not intended to be a survey of logic programming techniques applicable to the Semantic Web, and so the interested reader should try to obtain the missing information in the logic programming journals and conferences.

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. Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 50–61. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  2. Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Logic programming for evolving agents. In: Klusch, M., Omicini, A., Ossowski, S., Laamanen, H. (eds.) CIA 2003. LNCS (LNAI), vol. 2782, pp. 281–297. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  3. Alferes, J.J., Damásio, C.V., Pereira, L.M.: A logic programming system for non-monotonic reasoning. Special Issue of the Journal of Automated Reasoning 14(1), 93–147 (1995)

    Article  MATH  Google Scholar 

  4. Alferes, J.J., Dell’Acqua, P., Pereira, L.M.: A compilation of updates plus preferences. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 62–73. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  5. Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic updates of non-monotonic knowledge bases. The Journal of Logic Programming 45(1–3), 43–70 (2000); A short version appeared in A. Cohn and L. Schubert (eds.), KR 1998, Morgan KaufmannSan, San Francisco

    Article  MATH  MathSciNet  Google Scholar 

  6. Alferes, J.J., Pereira, L.M.: Reasoning with Logic Programming. LNCS (LNAI), vol. 1111. Springer, Heidelberg (1996)

    Google Scholar 

  7. Alferes, J.J., Pereira, L.M.: Updates plus preferences. In: Brewka, G., Moniz Pereira, L., Ojeda-Aciego, M., de Guzmán, I.P. (eds.) JELIA 2000. LNCS (LNAI), vol. 1919, pp. 345–360. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  8. Alferes, J.J., Pereira, L.M., Przymusinska, H., Przymusinski, T.: LUPS: A language for updating logic programs. Artificial Intelligence 132(1&2) (2002); A short version appeared in Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS(LNAI), vol. 1730, Springer, Heidelberg (1999)

    Google Scholar 

  9. The DLV Project: A Disjunctive Datalog System (and more), http://www.dbai.tuwien.ac.at/proj/dlv/ (2000)

  10. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (2001)

    Google Scholar 

  11. Brewka, G., Eiter, T.: Preferred answer sets for extended logic programs. In: Artificial Intelligence, vol. 109 (1999); A short version appeared in Cohn, A., Schubert, L. (eds.): KR 1998. Morgan Kaufmann, San Francisco (1998)

    Google Scholar 

  12. Brickley, D., Guha, R.V.: RDF Vocabulary Description Language 1.0: RDF Schema, work in progress (January 23, 2003), http://www.w3.org/TR/2003/WD-rdf-schema-20030123/

  13. Connolly, D., van Harmelen, D.F., Horrocks, I., McGuinness, D.L., Patel- Schneider, P.F., Stein, L.A.: DAML+OIL, Reference Description (March 2001), http://www.w3.org/TR/daml+oil-reference

  14. Damásio, C.V., Pereira, L.M.: Default negated conclusions: why not? In: Herre, H., Dyckhoff, R., Schroeder-Heister, P. (eds.) ELP 1996. LNCS, vol. 1050, pp. 103–117. Springer, Heidelberg (1996)

    Google Scholar 

  15. Damásio, C.V., Pereira, L.M.: A paraconsistent semantics with contradiction support detection. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. C.V. Damásio, L.M. Pereira, vol. 1265, pp. 224–243. Springer, Heidelberg (1997)

    Google Scholar 

  16. Damásio, C.V., Pereira, L.M.: A survey of paraconsistent semantics for logic programas. In: Gabbay, D., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems. Reasoning with Actual and Potential Contradictions. Coordenado por P. Besnard e A. Hunter, vol. 2, pp. 241–320. Kluwer Academic Publishers, Dordrecht (1998)

    Google Scholar 

  17. Dean, M., Schreiber, G., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference August 18 (2003) (Candidate Recommendation), http://www.w3.org/TR/2003/CR-owl-ref-20030818/

  18. Eiter, T., Fink, M., Sabbatini, G.: A framework for declarative update specifications in logic programs. In: IJCAI 2001, Morgan, San Francisco (2001)

    Google Scholar 

  19. Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of update sequences based on causal rejection. Theory and Practice of Logic Programming 2(6) (2002)

    Google Scholar 

  20. Van Emden, M., Kowalski, R.: The semantics of predicate logic as a programming language. Journal of ACM 4(23), 733–742 (1976)

    Article  Google Scholar 

  21. Gelder, V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM 38(3), 620–650 (1991)

    MATH  Google Scholar 

  22. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K.A. (eds.) 5th International Conference on Logic Programming, pp. 1070–1080. MIT Press, Cambridge (1988)

    Google Scholar 

  23. Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Warren, Szeredi (eds.) 7th International Conference on Logic Programming, pp. 579–597. MIT Press, Cambridge (1990)

    Google Scholar 

  24. Hayes, P. (ed.): RDF semantics, January 23 (2003) (work in progress), http://www.w3.org/TR/2003/WD-rdf-mt-20030123/

  25. The Rule Markup Initiative, http://www.ruleml.org/

  26. Lassila, O., Swick, R.: Resource description framework (RDF) model and syntax specification, February 22 (1999), http://www.w3.org/TR/REC-rdf-syntax/

  27. Leite, J.A.: Evolving Knowledge Bases. IOS Press, Amsterdam (2003)

    MATH  Google Scholar 

  28. Leite, J.A., Alferes, J.J., Pereira, L.M.: Multi-dimensional dynamic knowledge representation. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 365–378. Springer, Heidelberg (2001)

    Google Scholar 

  29. Lifschitz, V., Woo, T.: Answer sets in general non-monotonic reasoning (preliminary report). In: Nebel, B., Rich, C., Swartout, W. (eds.) Proceedings of the 3th International Conference on Principles of Knowledge Representation and Reasoning (KR 1992), Morgan-Kaufmann, San Francisco (1992)

    Google Scholar 

  30. The XSB Logic Programming Systems (2003), http://xsb.sourceforge.net

  31. The smodels system (2000), http://www.tcs.hut.fi/Software/smodels/

  32. The W4 RuleML compiler, http://centria.fct.unl.pt/~cd/projectos/w4/

Download references

Author information

Authors and Affiliations

  1. Centro de Inteligência Artificial – CENTRIA Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    Jóse Júlio Alferes, Carlos Viegas Damásio & Luís Moniz Pereira

Authors
  1. Jóse Júlio Alferes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carlos Viegas Damásio
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Luís Moniz Pereira
    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

Alferes, J.J., Damásio, C.V., Pereira, L.M. (2003). Semantic Web Logic Programming Tools. 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_2

Download citation

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

  • 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