论文信息 - A DLP System with Object-Oriented Features

A DLP System with Object-Oriented Features

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.

[1] Wolfgang Faber,et al. The INFOMIX system for advanced integration of incomplete and inconsistent data , 2005, SIGMOD '05.

[2] Yuliya Lierler. Cmodels for Tight Disjunctive Logic Programs , 2005, WLP.

[3] Chitta Baral,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[4] Ilkka Niemelä,et al. GNT - A Solver for Disjunctive Logic Programs , 2004, LPNMR.

[5] Jorge Lobo,et al. Foundations of disjunctive logic programming , 1992, Logic Programming.

[6] Sergio Greco,et al. COMPLEX: An Object-Oriented Logic Programming System , 1992, IEEE Trans. Knowl. Data Eng..

[7] Wolfgang Faber,et al. The DLV system for knowledge representation and reasoning , 2002, TOCL.