A DLP system with object-oriented features

Authors:
Francesco Ricca;Nicola Leone;Valerio De Bonis;Tina Dell'Armi;Stefania Galizia;Giovanni Grasso
Affiliations:
Department of Mathematics, University of Calabria, Rende (CS), Italy;Department of Mathematics, University of Calabria, Rende (CS), Italy;Department of Mathematics, University of Calabria, Rende (CS), Italy;Department of Mathematics, University of Calabria, Rende (CS), Italy;Department of Mathematics, University of Calabria, Rende (CS), Italy;Department of Mathematics, University of Calabria, Rende (CS), Italy
Venue:
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Year:
2005

Citing 5
Cited 1

Foundations of disjunctive logic programming

Foundations of disjunctive logic programming
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
COMPLEX: An Object-Oriented Logic Programming System

IEEE Transactions on Knowledge and Data Engineering
The INFOMIX system for advanced integration of incomplete and inconsistent data

Proceedings of the 2005 ACM SIGMOD international conference on Management of data
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)

The DLV Project: A Tour from Theory and Research to Applications and Market

ICLP '08 Proceedings of the 24th International Conference on Logic Programming

Quantified Score

Hi-index	0.00

Visualization

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.