Hostname: page-component-74656f9884-j7cmm Total loading time: 0 Render date: 2026-11-07T20:29:30.200Z Has data issue: false hasContentIssue false
  • English
  • Français

The dlvhex system for knowledge representation: recent advances (system description)*

Published online by Cambridge University Press:  14 October 2016

CHRISTOPH REDL
CHRISTOPH REDL*
Affiliation:
Institut für Informationssysteme, Technische Universität Wien, Favoritenstraße 9-11, A-1040 Vienna, Austria (e-mail: redl@kr.tuwien.ac.at)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

The dlvhex system implements the hex-semantics, which integrates answer set programming (ASP) with arbitrary external sources. Since its first release ten years ago, significant advancements were achieved. Most importantly, the exploitation of properties of external sources led to efficiency improvements and flexibility enhancements of the language, and technical improvements on the system side increased user's convenience. In this paper, we present the current status of the system and point out the most important recent enhancements over early versions. While existing literature focuses on theoretical aspects and specific components, a bird's eye view of the overall system is missing. In order to promote the system for real-world applications, we further present applications which were already successfully realized on top of dlvhex.

Keywords

Answer Set ProgrammingNonmonotonic ReasoningKnowledge representation

Information

Type
Regular Papers
Information
Theory and Practice of Logic Programming , Volume 16 , Special Issue 5-6: 32nd International Conference on Logic Programming , September 2016 , pp. 866 - 883
Copyright
Copyright © Cambridge University Press 2016 

Footnotes

*

This research has been supported by the Austrian Science Fund (FWF) project P27730.

References

Bögl, M., Eiter, T., Fink, M. and Schüller, P. 2010. The MCS-IE system for explaining inconsistency in multi-context systems. In JELIA 2010, 356–359.Google Scholar
Brewka, G. and Eiter, T. 2007. Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. In AAAI, AAAI Press, 385–390.Google Scholar
Brewka, G., Eiter, T. and Truszczyński, M. 2011. Answer set programming at a glance. Comm. ACM 54, 12, 92–103.Google Scholar
Calimeri, F., Faber, W., Gebser, M., Ianni, G., Roland Kaminski, T. K., Leone, N., Ricca, F. and Schaub, T. 2013. ASP-Core-2 Input Language Format.Google Scholar
Eiter, T., Fink, M., Krennwallner, T. and Redl, C. 2012. Conflict-driven ASP solving with external sources. Theory and Practice of Logic Programming: Special Issue ICLP.Google Scholar
Eiter, T., Fink, M., Krennwallner, T. and Redl, C. 2016. Domain expansion for asp-programs with external sources. Artif. Intell. 233, 84–121.CrossRefGoogle Scholar
Eiter, T., Fink, M., Krennwallner, T., Redl, C. and Schüller, P. 2014. Efficient HEX-program evaluation based on unfounded sets. Journal of Artificial Intelligence Research 49, 269–321.Google Scholar
Eiter, T., Fink, M., Schüller, P. and Weinzierl, A. 2010. Finding explanations of inconsistency in Multi-Context Systems. In KR, AAAI Press, 329–339.Google Scholar
Eiter, T., Ianni, G., Schindlauer, R. and Tompits, H. 2005. A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. In IJCAI 2005, 90–96.Google Scholar
Eiter, T., Ianni, G., Schindlauer, R. and Tompits, H. 2006a. dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics. In the ICLP'06 Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS2006), CEUR WS, 33–39.Google Scholar
Eiter, T., Ianni, G., Schindlauer, R. and Tompits, H. 2006b. Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. In ESWC 2006, 273–287.Google Scholar
Eiter, T., Kaminski, T., Redl, C. and Weinzierl, A. 2016. Exploiting partial assignments for efficient evaluation of answer set programs with external source access. In IJCAI 2016, To appear.Google Scholar
Eiter, T., Lukasiewicz, T., Schindlauer, R. and Tompits, H. 2004. Combining Answer Set Programming with Description Logics for the Semantic Web. In KR 2004, Dubois, D., Welty, C., and Williams, M.-A., Eds., AAAI Press, 141–151.Google Scholar
Eiter, T., Mehuljic, M., Redl, C. and Schüller, P. 2015. User guide: dlvhex 2.x. Tech. Rep. INFSYS RR-1843-15-05, Vienna University of Technology, Institute for Information Systems. September.Google Scholar
Erdem, E., Patoglu, V. and Schüller, P. 2016. A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks. AI Communications, IOS Press.Google Scholar
Faber, W., Leone, N. and Pfeifer, G. 2011. Semantics and complexity of recursive aggregates in answer set programming. Artif. Intell. 175, 1, 278–298.Google Scholar
Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T. and Schneider, M. 2011. Potassco: The Potsdam Answer Set Solving Collection. AI Commun. 24, 2, 107–124.Google Scholar
Gebser, M., Kaufmann, B. and Schaub, T. 2012. Conflict-driven answer set solving: From theory to practice. Artif. Intell. 187–188, 52–89.Google Scholar
Gelfond, M. and Lifschitz, V. 1991. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9, 3–4, 365–386.Google Scholar
Ianni, G., Calimeri, F., Germano, S., Humenberger, A., Redl, C., Stepanova, D., Tucci, A. and Wimmer, A. 2016. Angry-HEX: an artificial player for angry birds based on declarative knowledge bases. IEEE Transactions on Computational Intelligence and AI in Games.CrossRefGoogle Scholar
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S. and Scarcello, F. 2006. The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7 (3), 499–562.Google Scholar
Ostrowski, M. and Schaub, T. 2012. ASP modulo CSP: the clingcon system. CoRR abs/1210.2287.Google Scholar
Simons, P., Niemelä, I. and Soininen, T. 2002. Extending and Implementing the Stable Model Semantics. Artificial Intelligence 138, 181–234.Google Scholar
Zirtiloglu, H. and Yolum, P. 2008. Ranking semantic information for e-government: complaints management. In OBI 2008, Karlsruhe, Germany, October 27, 2008, pages 5:1–5:7.Google Scholar