Advertisement

Combining Nonmonotonic Knowledge Bases with External Sources

  • Thomas Eiter
  • Gerhard Brewka
  • Minh Dao-Tran
  • Michael Fink
  • Giovambattista Ianni
  • Thomas Krennwallner
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5749)

Abstract

The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative knowledge representation formalisms have been extended with the capability to access data and knowledge sources that are external to a knowledge base. This article reviews some of these formalisms that are centered around Answer Set Programming, viz.hex-programs, modular logic programs, and multi-context systems, which were developed by the KBS group of the Vienna University of Technology in cooperation with external colleagues. These formalisms were designed with different principles and four different settings, and thus have different properties and features; however, as argued, they are not unrelated. Furthermore, they provide a basis for advanced knowledge-based information systems, which are targeted in ongoing research projects.

Keywords

Logic Program Logic Programming Description Logic Belief State Argumentation Framework 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Analyti, A., Antoniou, G., Damásio, C.V.: A principled framework for modular web rule bases and its semantics. In: Proc. 11th Int’l. Conf. Principles of Knowledge Representation and Reasoning (KR 2008), pp. 390–400. AAAI Press, Menlo Park (2008)Google Scholar
  2. 2.
    Brewka, G., Eiter, T.: Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. In: AAAI 2007, pp. 385–390. AAAI Press, Menlo Park (2007)Google Scholar
  3. 3.
    Brewka, G., Eiter, T.: Argumentation context systems: A framework for abstract group argumentation. In: LPNMR 2009. LNCS. Springer, Heidelberg (2009)Google Scholar
  4. 4.
    Brewka, G., Roelofsen, F., Serafini, L.: Contextual Default Reasoning. In: IJCAI 2007, pp. 268–273 (2007)Google Scholar
  5. 5.
    Calimeri, F., Cozza, S., Ianni, G.: External sources of knowledge and value invention in logic programming. Ann. Math. Artif. Intell. 50(3-4), 333–361 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Calimeri, F., Ianni, G.: External sources of computation for answer set solvers. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 105–118. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  7. 7.
    Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Modular Nonmonotonic Logic Programming Revisited. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 145–159. Springer, Heidelberg (2009)Google Scholar
  8. 8.
    Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Relevance-driven evaluation of modular nonmonotonic logic programs. In: LPNMR 2009. LNCS. Springer, Heidelberg (to appear, 2009)Google Scholar
  9. 9.
    de la Banda, M.G., Pontelli, E. (eds.): Logic Programming (ICLP 2008). LNCS, vol. 5366. Springer, Heidelberg (2008)zbMATHGoogle Scholar
  10. 10.
    Drabent, W., Eiter, T., Ianni, G., Krennwallner, T., Lukasiewicz, T., Małuszyński, J.: Hybrid reasoning with rules and ontologies. In: Bry, F., Małuszyński, J. (eds.) Semantic Techniques for the Web: The REWERSE perspective. LNCS, vol. 5500, p. 50. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  11. 11.
    Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–358 (1995)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Eiter, T., Fink, M., Krennwallner, T.: Decomposition of Declarative Knowledge Bases with External Functions. In: IJCAI 2009. AAAI Press, Menlo Park (2009)Google Scholar
  13. 13.
    Eiter, T., Gottlob, G., Veith, H.: Modular Logic Programming and Generalized Quantifiers. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 290–309. Springer, Heidelberg (1997)Google Scholar
  14. 14.
    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 2008. LNCS, vol. 5224, pp. 1–53. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  15. 15.
    Eiter, T., Ianni, G., Krennwallner, T., Polleres, A.: Answer set programming: A primer. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web 2009. LNCS, vol. 5689, pp. 40–110. Springer, Heidelberg (2009)Google Scholar
  16. 16.
    Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell. 172(12-13), 1495–1539 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming. In: IJCAI 2005, pp. 90–96. Professional Book Center (2005)Google Scholar
  18. 18.
    Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective Integration of Declarative Rules with external Evaluations for Semantic Web Reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 273–287. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  19. 19.
    Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. In: KR 2004, pp. 141–151. Morgan Kaufmann, San Francisco (2004)Google Scholar
  20. 20.
    Eiter, T., Subrahmanian, V., Pick, G.: Heterogeneous Active Agents, I: Semantics. Artificial Intelligence 108(1-2), 179–255 (1999)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: Semantics and complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 200–212. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  22. 22.
    Gelfond, M.: Answer sets. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, Foundations of Artificial Intelligence, ch. 7, pp. 285–316. Elsevier, Amsterdam (2007)Google Scholar
  23. 23.
    Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: ICLP 1988, pp. 1070–1080. MIT Press, Cambridge (1988)Google Scholar
  24. 24.
    Gelfond, M., Lifschitz, V.: Classical negation in logic programs and deductive databases. New Generation Computing 9, 365–385 (1991)CrossRefzbMATHGoogle Scholar
  25. 25.
    Giunchiglia, F.: Contextual reasoning. Epistemologia XVI, 345–364 (1993)Google Scholar
  26. 26.
    Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: How we can do without modal logics. Artificial Intelligence 65(1), 29–70 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  27. 27.
    Heymans, S., Toma, I.: Ranking services using fuzzy hex-programs. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 181–196. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  28. 28.
    Hoehndorf, R., Loebe, F., Kelso, J., Herre, H.: Representing default knowledge in biomedical ontologies: Application to the integration of anatomy and phenotype ontologies. BMC Bioinformatics 8(1), 377 (2007)CrossRefGoogle Scholar
  29. 29.
    Lifschitz, V.: Twelve definitions of a stable model. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 37–51. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  30. 30.
    Lifschitz, V., Turner, H.: Splitting a Logic Program. In: ICLP 1994, pp. 23–37. MIT Press, Cambridge (1994)Google Scholar
  31. 31.
    Marek, V., Truszczyński, M.: Nonmonotonic Logics – Context-Dependent Reasoning. Springer, Heidelberg (1993)zbMATHGoogle Scholar
  32. 32.
    McCarthy, J.: Generality in artificial intelligence. Commun. ACM 30(12), 1029–1035 (1987)MathSciNetCrossRefzbMATHGoogle Scholar
  33. 33.
    Nieuwenborgh, D.V., Cock, M.D., Vermeir, D.: Computing Fuzzy Answer Sets Using dlvhex. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 449–450. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  34. 34.
    Nieuwenborgh, D.V., Eiter, T., Vermeir, D.: Conditional Planning with External Functions. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 214–227. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  35. 35.
    Polleres, A., Feier, C., Harth, A.: Rules with Contextually Scoped Negation. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 332–347. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  36. 36.
    Roelofsen, F., Serafini, L.: Minimal and absent information in contexts. In: Proc. IJCAI 2005 (2005)Google Scholar
  37. 37.
    Ross, K.A.: Modular stratification and magic sets for datalog programs with negation. J. ACM 41(6), 1216–1266 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  38. 38.
    Schindlauer, R.: Answer-Set Programming for the Semantic Web. PhD thesis, Vienna University of Technology, Austria (December 2006)Google Scholar
  39. 39.
    Subrahmanian, V., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems: Theory and Implementation. MIT Press, Cambridge (2000)Google Scholar
  40. 40.
    Väänänen, J.: Generalized quantifiers, an introduction. In: Väänänen, J. (ed.) ESSLLI 1997. LNCS, vol. 1754, pp. 1–17. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  41. 41.
    Wang, K., Billington, D., Blee, J., Antoniou, G.: Combining description logic and defeasible logic for the Semantic Web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 170–181. Springer, Heidelberg (2004)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Thomas Eiter
    • 1
  • Gerhard Brewka
    • 2
  • Minh Dao-Tran
    • 1
  • Michael Fink
    • 1
  • Giovambattista Ianni
    • 3
  • Thomas Krennwallner
    • 1
  1. 1.Institut für InformationssystemeTechnische Universität WienViennaAustria
  2. 2.Universität LeipzigLeipzigGermany
  3. 3.Dipartimento di MatematicaUniversitá della CalabriaRendeItaly

Personalised recommendations