Sciweavers

Share
LPNMR
2005
Springer

A DLP System with Object-Oriented Features

11 years 11 months ago
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.
Francesco Ricca, Nicola Leone, Valerio De Bonis, T
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where LPNMR
Authors Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso
Comments (0)
books