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

• Type: Conference
• Year: 2005
• Where: LPNMR
• Authors: Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso
• Keywords: Disjunctive Logic Programming, LPNMR 2005, Powerful Type-checking Mechanism, State-of-art Dlp System