Skip to main content
SpringerLink
Log in

Modular Logic Programming for Web Data, Inheritance and Agents

  • Conference paper
Knowledge Science, Engineering and Management (KSEM 2010)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6291))

  • 1418 Accesses

Abstract

The Semantic Web provides a framework and a set of technologies enabling an effective machine processable information. However, most of the problems that are addressed in the Semantic Web were tackled by the artificial intelligence community, in the past. Within this period, Logic Programming emerged as a complete framework ranging from a sound formal theory, based on Horn clauses, to a declarative description language and an operational behavior that can be executed. Logic programming and its extensions have been already used in various approaches in the Semantic Web or the traditional Web context. In this work, we investigate the use of Modular Logic Programming, i.e. Logic Programming extended with modules, to address issues of the Semantic Web ranging from the ontology layer to reasoning and agents. These techniques provide a uniform framework ranging from the data layer to the higher layers of logic, avoiding the problem of incompatibilities of technologies related with different Semantic Web layers. What is more is that it can operate directly on top of existent World Wide Web sources.

World Wide Web, Semantic Web, Logic Programming, Modularity.

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. The ACM computing classification system (1998), http://www.acm.org/class/1998/

  2. Afrati, F., Karali, I., Mitakos, T.: On inheritance in object oriented datalog. In: Proc. of Int. Workshop on Issues and Applications of Database Technology, IADT 1998 (1998)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. Antoniou, G., Bikakis, A.: A system for non-monotonic rules on the web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 23–36. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  5. Assmann, U., Berger, S., Bry, F., Furche, T., Henriksson, J., Patranjan, P.L.: A generic module system for web rule languages: Divide and rule. In: Paschke, A., Biletskiy, Y. (eds.) RuleML 2007. LNCS, vol. 4824, pp. 63–77. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  6. Brogi, A.: Program Composition in Computational Logic. Ph.D. thesis, Università di Pisa (1993)

    Google Scholar 

  7. Brogi, A., Mancarella, P., Pedreschi, D., Turini, F.: Composition operators for logic theories. In: Proce. of the Computational Logic Symposium (1990)

    Google Scholar 

  8. Bugliesi, M.: A declarative view of inheritance in logic programming. In: Joint International Conference and Symposium on Logic Programming. pp. 112–127 (1992)

    Google Scholar 

  9. Bugliesi, M., Lamma, E., Mello, P.: Modularity in logic programming. Journal of Logic Programming 19/20 (2004)

    Google Scholar 

  10. Eiter, T., Ianni, G., Krennwallner, T., Polleres, A.: Rules and ontologies for the semantic web. In: Baroglio, C., Bonatti, P.A., Małuszyński, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol. 5224, pp. 1–53. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  11. Fernandez-Garcia, N., Sanchez-Fernandez, L.: Building an ontology for NEWS applications. Poster Presentations at the International Semantic Web Conference ISWC-2004 (2004)

    Google Scholar 

  12. Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proc. of the 12th International World Wide Web Conference (WWW 2003). ACM, New York (2003)

    Google Scholar 

  13. Grosof, B., Kifer, M., Martin, D.: Rules in the semantic web services language (SWSL): An overview for standardization directions. Position paper for W3C Workshop on Rule Languages for Interoperability (2005)

    Google Scholar 

  14. Horrocks, I., Parsia, B., Patel-Schneider, P.F., Hendler, J.A.: Semantic web architecture: Stack or two towers? In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, pp. 37–41. Springer, Heidelberg (2005)

    Google Scholar 

  15. Horrocks, I., Parsia, B., Patel-Schneider, P., Hendler, J.: Semantic web architecture: Stack or two towers. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, pp. 37–41. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  16. Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL rules language. In: Proc. of the Thirteenth International World Wide Web Conference (WWW 2004). ACM, New York (2004)

    Google Scholar 

  17. Inductive logic programming, http://www.doc.ic.ac.uk/~shm/ilp.html

  18. Kakas, A., Kowalski, R., Toni, F.: Abductive logic programming. Journal of Logic and Computation 2 (1993)

    Google Scholar 

  19. Kallipolitis, L., Karpis, V., Karali, I.: World news finder: How we cope without the semantic web. In: Proc. of Int. Conference on Artificial Intelligence and Applications (AIA 2007) (2007)

    Google Scholar 

  20. Karali, I.: Logic programming to address issues of the semantic web. In: 2007 IEEE / WIC / ACM International Conference on Web Intelligence. IEEE Computer Society, Los Alamitos (2007)

    Google Scholar 

  21. Karali, I., Halatsis, C.: A refinement of import/export declarations in modular logic programming and its semantics. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol. 915, Springer, Heidelberg (1995)

    Google Scholar 

  22. Kifer, M., de Bruijn, J., Boley, H., Fensel, D.: A realistic architecture for the semantic web. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 17–29. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  23. Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4) (1995)

    Google Scholar 

  24. Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)

    MATH  Google Scholar 

  25. Loke, S.W., Davison, A.: Logic programming with the world wide web. In: Proc. of the 7th ACM Conference on Hypertext. ACM, New York (1996)

    Google Scholar 

  26. Miller, D.: A theory of modules for logic programming. In: Proceedings of the 1986 Symposium on Logic Programming. pp. 106–114 (1986)

    Google Scholar 

  27. Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and logic programming live together happily ever after? In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 501–514. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  28. http://www.w3.org/TR/owl-features/

  29. http://www.w3.org/RDF/

  30. http://www.w3.org/TR/rdf-schema/

  31. REWERSE: reasoning on the web with rules and semantics, http://rewerse.net/

  32. http://www.ruleml.org/

  33. Sadri, F., Toni, F.: Computational logic and multi-agent systems: a roadmap. CompulogNet Newsletter (1999)

    Google Scholar 

  34. Schlicht, A., Stuckenschmidt, H.: Towards distributed ontology reasoning for the web. In: 2008 IEEE / WIC / ACM International Conference on Web Intelligence. IEEE Computer Society, Los Alamitos (2008)

    Google Scholar 

  35. Stamatopoulos, P., Karali, I., Halatsis, C.: A tour advisory system using a logic programming approach. ACM Applied Computing Review 1(1) (1993)

    Google Scholar 

  36. http://www.w3.org/2001/sw/

  37. http://www.w3.org/2003/Talks/0922-rsoc-tbl/

  38. http://www.w3.org/DesignIssues/diagrams/sw-stack-2002.png

  39. Toni, F.: Automated information management via abductive logic agents. Telematics and Informatics (2001)

    Google Scholar 

  40. Ullman, J.: Principles of Database and Knowledge-Base Systems. Computer Science Press, Inc. (1988)

    Google Scholar 

  41. Wirth, N.: Programming in Modula-2. Springer, Heidelberg (1985)

    MATH  Google Scholar 

  42. Xcerpt-module system, http://www.pms.ifi.lmu.de/rewerse-wgi4/software/Xcerpt/modules

  43. http://www.w3.org/XML/

Download references

Author information

Authors and Affiliations

  1. Department of Informatics and Telecommunications, University of Athens, Panepistimiopolis, Ilissia, Athens, GR, 15784

    Isambo Karali

Authors
  1. Isambo Karali
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing and Mathematics, University of Ulster, Newtownabbey, Co. Antrim, BT37 0QB, UK

    Yaxin Bi

  2. Innovation and Technology Research Laboratory, University of Technology, 2007, Sydney, NSW, Australia

    Mary-Anne Williams

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Karali, I. (2010). Modular Logic Programming for Web Data, Inheritance and Agents. In: Bi, Y., Williams, MA. (eds) Knowledge Science, Engineering and Management. KSEM 2010. Lecture Notes in Computer Science(), vol 6291. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15280-1_33

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15280-1_33

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15279-5

  • Online ISBN: 978-3-642-15280-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation