Skip to main content
SpringerLink
Log in

ASP at Work: Spin-off and Applications of the DLV System

  • Chapter
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning

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

Abstract

Answer Set Programming (ASP) is a declarative language for knowledge representation and reasoning. After its proposal, in a seminal paper by Michael Gelfond and Vladimir Lifschitz dated in 1988, ASP has been the subject of a broad theoretical research-work, ranging from linguistic extensions and semantic properties to evaluation algorithm and optimization techniques. Later on, the availability of a number of efficient systems made ASP a powerful tool for the fast development of knowledge-based applications. In this paper, we report on the ongoing effort aimed at the industrial exploitation of DLV – one of the most popular ASP systems – in the area of Knowledge Management. Two spin-off companies of University of Calabria are involved in such an exploitation: Dlvsystem Srl and Exeura Srl. They have specialized DLV into some Knowledge Management products for Text Classification, Information Extraction, and Ontology Representation and Reasoning, which have allowed to develop a number of successful real-world applications.

This work was partially supported by the Regione Calabria and EU under POR Calabria FESR 2007-2013 within the PIA project of TopClass Srl.

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. Alviano, M., Faber, W., Leone, N.: Disjunctive ASP with Functions: Decidable Queries and Effective Computation. In: TPLP, 26th Int’l. Conference on Logic Programming (ICLP 2010) Special Issue, vol. 10(4-6), pp. 497–512 (2010)

    Google Scholar 

  2. Babovich, Y., Maratea, M.: Cmodels-2: Sat-based answer sets solver enhanced to non-tight programs (2003), http://www.cs.utexas.edu/users/tag/cmodels.html

  3. Balduccini, M., Gelfond, M.: Logic Programs with Consistency-Restoring Rules. In: Proceedings of AAAI 2003 Spring Symposium Series (2003)

    Google Scholar 

  4. Balduccini, M., Gelfond, M., Watson, R., Nogeira, M.: The USA-advisor: A case study in answer set planning. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 439–442. Springer, Heidelberg (2001)

    Google Scholar 

  5. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving.CUP (2003)

    Google Scholar 

  6. Baral, C., Gelfond, M.: Reasoning Agents in Dynamic Domains. In: Logic-Based Artificial Intelligence, pp. 257–279 (2000)

    Google Scholar 

  7. Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. TPLP 9(1), 57–144 (2009)

    MathSciNet  MATH  Google Scholar 

  8. Baral, C., Uyan, C.: Declarative specification and solution of combinatorial auctions using logic programming. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 186–199. Springer, Heidelberg (2001)

    Google Scholar 

  9. Bardadym, V.A.: Computer-Aided School and University Timetabling: The New Wave. In: Burke, E.K., Ross, P. (eds.) PATAT 1995. LNCS, vol. 1153, pp. 22–45 (1996)

    Google Scholar 

  10. Baselice, S., Bonatti, P.A., Criscuolo, G.: On Finitely Recursive Programs. TPLP (TPLP) 9(2), 213–238 (2009)

    MathSciNet  MATH  Google Scholar 

  11. Bonatti, P.A.: Reasoning with infinite stable models II: Disjunctive programs. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol. 2401, pp. 333–346. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  12. Bonatti, P.A.: Reasoning with infinite stable models. Artificial Intelligence 156(1), 75–111 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  13. Brewka, G.: Logic Programming with Ordered Disjunction. In: NMR 2002, pp. 67–76 (April 2002)

    Google Scholar 

  14. Brewka, G.: Answer Sets: From Constraint Programming Towards Qualitative Optimization. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 34–46. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  15. Brewka, G., Benferhat, S., Le Berre, D.: Qualitative Choice Logic. In: Proceedings of (KR 2002), pp. 158–169 (April 2002)

    Google Scholar 

  16. Brewka, G., Niemelä, I., Syrjänen, T.: Implementing ordered disjunction using answer set solvers for normal programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 444–455. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  17. Brewka, G., Niemelä, I., Truszczyński, M.: Answer Set Optimization. In: IJCAI 2003, Acapulco, Mexico, pp. 867–872 (August 2003)

    Google Scholar 

  18. Bria, A., Faber, W., Leone, N.: Normal form nested programs. FI 96(3), 271–295 (2009)

    MathSciNet  MATH  Google Scholar 

  19. Buccafurri, F., Leone, N., Rullo, P.: Enhancing Disjunctive Datalog by Constraints. IEEE TKDE 12(5), 845–860 (2000)

    Google Scholar 

  20. Buccafurri, F., Leone, N., Rullo, P.: Enhancing Disjunctive Datalog by Constraints. IEEE TKDE 12(5), 845–860 (2000)

    Google Scholar 

  21. Calimeri, F., Cozza, S., Ianni, G., Leone, N.: Computable Functions in ASP: Theory and Implementation. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 407–424. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  22. Denecker, M., Pelov, N., Bruynooghe, M.: Ultimate well-founded and stable semantics for logic programs with aggregates. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol. 2237, pp. 212–226. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  23. Denecker, M., Vennekens, J., Bond, S., Gebser, M., Truszczyński, M.: The Second Answer Set Programming Competition. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 637–654. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  24. 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. LNCS, vol. 5500, pp. 1–49. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  25. Drescher, C., Gebser, M., Grote, T., Kaufmann, B., König, A., Ostrowski, M., Schaub, T.: Conflict-Driven Disjunctive Answer Set Solving. In: KR 2008, Sydney, Australia, 2008, pp. 422–432. AAAI Press, Menlo Park (2008)

    Google Scholar 

  26. Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative Problem-Solving Using the DLV System. In: Logic-Based Artificial Intelligence, pp. 79–103 (2000)

    Google Scholar 

  27. Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM TODS 22(3), 364–418 (1997)

    Article  Google Scholar 

  28. 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, nburgh, UK (August 2005)

    Google Scholar 

  29. Elkabani, I., Pontelli, E., Son, T.C.: SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 427–431. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

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

    Chapter  Google Scholar 

  31. Faber, W., Leone, N., Pfeifer, G.: Semantics and complexity of recursive aggregates in answer set programming. In: AI (2010) (accepted for publication)

    Google Scholar 

  32. Faber, W., Pfeifer, G., Leone, N., Dell’Armi, T., Ielpa, G.: Design and implementation of aggregate functions in the dlv system. TPLP 8(5–6), 545–580 (2008)

    MathSciNet  MATH  Google Scholar 

  33. Franconi, E., Palma, A.L., Leone, N., Perri, S., Scarcello, F.: Census Data Repair: A Challenging Application of Disjunctive Logic Programming. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol. 2250, pp. 561–578. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  34. Friedrich, G., Ivanchenko, V.: Diagnosis from first principles for workflow executions. Technical report. Alpen Adria University, Applied Informatics, Klagenfurt, Austria (2008), http://proserver3-iwas.uni-klu.ac.at/download_area/Technical-Reports/technical_report_2008_02.pdf

    Google Scholar 

  35. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: IJCAI 2007, pp. 386–392 (January 2007)

    Google Scholar 

  36. Gebser, M., Liu, L., Namasivayam, G., Neumann, A., Schaub, T., Truszczyński, M.: The first answer set programming system competition. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 3–17. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  37. Gelfond, M., Leone, N.: Logic Programming and Knowledge Representation – the A-Prolog perspective. AI 138(1–2), 3–38 (2002)

    MathSciNet  MATH  Google Scholar 

  38. Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: ICLP/SLP 1988, pp. 1070–1080. MIT Press, Cambridge (1988)

    Google Scholar 

  39. Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. NGC 9, 365–385 (1991)

    Article  MATH  Google Scholar 

  40. Grasso, G., Iiritano, S., Leone, N., Lio, V., Ricca, F., Scalise, F.: An ASP-Based System for Team-Building in the Gioia-Tauro Seaport. In: Carro, M., Peña, R. (eds.) PADL 2010. LNCS, vol. 5937, pp. 40–42. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  41. Grasso, G., Iiritano, S., Leone, N., Ricca, F.: Some DLV Applications for Knowledge Management. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 591–597. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  42. Hella, L., Libkin, L., Nurmonen, J., Wong, L.: Logics with aggregate operators. JACM 48(4), 880–907 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  43. Ielpa, S.M., Iiritano, S., Leone, N., Ricca, F.: An ASP-Based System for e-Tourism. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 368–381. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  44. Janhunen, T., Niemelä, I., Seipel, D., Simons, P., You, J.-H.: Unfolding Partiality and Disjunctions in Stable Model Semantics. ACM TOCL 7(1), 1–37 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  45. Leone, N., Gottlob, G., Rosati, R., Eiter, T., Faber, W., Fink, M., Greco, G., Ianni, G., Kałka, E., Lembo, D., Lenzerini, M., Lio, V., Nowicki, B., Ruzzi, M., Staniszkis, W., Terracina, G.: The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data. In: SIGMOD 2005, Baltimore, Maryland, USA, 2005, pp. 915–917. ACM Press, New York (2005)

    Google Scholar 

  46. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM TOCL 7(3), 499–562 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  47. Lierler, Y.: Disjunctive Answer Set Programming via Satisfiability. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 447–451. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  48. Lifschitz, V., Tang, L.R., Turner, H.: Nested Expressions in Logic Programs. AMAI 25(3–4), 369–389 (1999)

    MathSciNet  MATH  Google Scholar 

  49. Lin, F., Zhao, Y.: ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. In: AAAI-2002, AAAI Press, Menlo Park (2002)

    Google Scholar 

  50. Minker, J.: On Indefinite Data Bases and the Closed World Assumption. In: Loveland, D.W. (ed.) CADE 1982. LNCS, vol. 138, pp. 292–308. Springer, Heidelberg (1982)

    Chapter  Google Scholar 

  51. Minker, J.: Overview of Disjunctive Logic Programming. AMAI 12, 1–24 (1994)

    MathSciNet  Google Scholar 

  52. Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An A-Prolog Decision Support System for the Space Shuttle. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 169–183. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  53. Pearce, D., Sarsakov, V., Schaub, T., Tompits, H., Woltran, S.: A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. In: NMR 2002 (2002)

    Google Scholar 

  54. Pelov, N., Denecker, M., Bruynooghe, M.: Well-founded and Stable Semantics of Logic Programs with Aggregates. TPLP 7(3), 301–353 (2007)

    MathSciNet  MATH  Google Scholar 

  55. Ricca, F., Gallucci, L., Schindlauer, R., Dell’Armi, T., Grasso, G., Leone, N.: OntoDLV: An ASP-based System for Enterprise Ontologies. Journal of Logic and Computation 19(4), 643–670 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  56. Ricca, F., Leone, N.: Disjunctive Logic Programming with types and objects: The DLV +  System. Journal of Applied Logics 5(3), 545–573 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  57. Rosati, R.: On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. In: Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems, Berlin, Heidelberg, pp. 13–27 (2008)

    Google Scholar 

  58. Ruffolo, M., Leone, N., Manna, M., Saccà, D., Zavatto, A.: Exploiting ASP for Semantic Information Extraction. In: Proceedings ASP05 - Answer Set Programming: Advances in Theory and Implementation, Bath, UK, pp. 248–262 (2005)

    Google Scholar 

  59. Ruffolo, M., Manna, M.: HiLeX: A System for Semantic Information Extraction from Web Documents. In: ICEIS (Selected Papers). Lecture Notes in Business Information Processing, vol. 3, pp. 194–209 (2008)

    Google Scholar 

  60. Rullo, P., Policicchio, V.L., Cumbo, C., Iiritano, S.: Olex: Effective Rule Learning for Text Categorization. IEEE TKDE 21, 1118–1132 (2009)

    Google Scholar 

  61. Simons, P.: Smodels Homepage (1996), http://www.tcs.hut.fi/Software/smodels/

  62. Simons, P., Niemelä, I., Soininen, T.: Extending and Implementing the Stable Model Semantics. AI 138, 181–234 (2002)

    MathSciNet  MATH  Google Scholar 

  63. Smith, M.K., Welty, C., McGuinness, D.L.: OWL web ontology language guide. W3C Candidate Recommendation (2003), http://www.w3.org/TR/owl-guide/

  64. Son, T.C., Pontelli, E.: A Constructive Semantic Characterization of Aggregates in ASP. TPLP 7, 355–375 (2007)

    MATH  Google Scholar 

  65. Syrjänen, T.: Omega-Restricted Logic Programs. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 267–279. Springer, Heidelberg (2001)

    Google Scholar 

  66. Terracina, G., Leone, N., Lio, V., Panetta, C.: Experimenting with recursive queries in database and logic programming systems. TPLP 8, 129–165 (2008)

    MathSciNet  MATH  Google Scholar 

  67. Zhao, Y.: ASSAT homepage, since (2002), http://assat.cs.ust.hk/

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Calabria, Italy

    Giovanni Grasso, Nicola Leone, Marco Manna & Francesco Ricca

Authors
  1. Giovanni Grasso
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nicola Leone
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marco Manna
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Francesco Ricca
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Eastman Kodak Company, Rochester, NY, USA

    Marcello Balduccini

  2. Department of Computer Science, New Mexico State University, 88003, Las Cruces, NM, USA

    Tran Cao Son

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Grasso, G., Leone, N., Manna, M., Ricca, F. (2011). ASP at Work: Spin-off and Applications of the DLV System. In: Balduccini, M., Son, T.C. (eds) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. Lecture Notes in Computer Science(), vol 6565. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20832-4_27

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-20832-4_27

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-20831-7

  • Online ISBN: 978-3-642-20832-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation