A DLP System with Object-Oriented Features

13 years 10 months ago

Download people.kmi.open.ac.uk

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

Real-time Traffic

Disjunctive Logic Programming | LPNMR 2005 | Powerful Type-checking Mechanism | State-of-art Dlp System |

claim paper

» Decoupling in Object Orientation

» Understanding the Impact of Distribution in ObjectOriented Distributed Systems Using Struc...

» GLADE A Framework for Building Large ObjectOriented RealTime Distributed Systems

» The Object Behavior of Java ObjectOriented Database Management Systems

» ObjectOriented System Development Will the New Approach Solve Old Problems

» KeY A Formal Method for ObjectOriented Systems

» An ObjectOriented SGMLHyTime Compliant Multimedia Database Management System

» SeamCAD ObjectOriented Modeling Tool for Hierarchical Systems in Enterprise Architecture

Post Info
More Details (n/a)

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)

Sciweavers

A DLP System with Object-Oriented Features

Disjunctive Logic Programming | LPNMR 2005 | Powerful Type-checking Mechanism | State-of-art Dlp System |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers