Abstract
The paper presents DLV + a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV + is built on top of DLV (a state-of-the art DLP system), and provides a graphical user interface that allows to specify, update, browse, query, and reason on knowledge bases. Two strong points of the system are the powerful type-checking mechanism, and the advanced interface for visual querying.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9, 365–385 (1991)
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM Transactions on Computational Logic (2005)
Janhunen, T., Niemelä, I.: GNT - A Solver for Disjunctive Logic Programs. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 331–335. Springer, Heidelberg (2003)
Lierler, Y.: Cmodels for Tight Disjunctive Logic Programs. In: Proc. of W(C)LP, Ulmer Informatik-Berichte, Ulm, Germany, Universität Ulm, pp. 163–166 (2005)
Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2002)
Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. The MIT Press, Cambridge (1992)
Massacci, F.: Computer Aided Security Requirements Engineering with ASP Nonmonotonic Reasoning, Answer Set Programming ASP and Constraints, Seminar N\(\frac{1}{4}\) 05171, Dagstuhl (2005)
Leone, N., Eiter, T., Rosati, R.: etal: The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data. In: ACM SIGMOD (2005)
Greco, S., Leone, N., Rullo, P.: COMPLEX: An Object-Oriented Logic Programming System. IEEE Transactions on Knowledge and Data Engineering 4 (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ricca, F., Leone, N., De Bonis, V., Dell’Armi, T., Galizia, S., Grasso, G. (2005). A DLP System with Object-Oriented Features. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2005. Lecture Notes in Computer Science(), vol 3662. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11546207_41
Download citation
DOI: https://doi.org/10.1007/11546207_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28538-0
Online ISBN: 978-3-540-31827-9
eBook Packages: Computer ScienceComputer Science (R0)