Disjunctive logic programming with types and objects: The DLV + system

The paper presents DLV +, a Disjunctive Logic Programming (DLP) 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 one to specify, upd...

Full description

Saved in:

Bibliographic Details
Published in:	Journal of applied logic Vol. 5; no. 3; pp. 545 - 573
Main Authors:	Ricca, Francesco, Leone, Nicola
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.09.2007
Subjects:	Disjunctive logic programming Objects Ontologies Reasoning Types Objects Ontologies Types Disjunctive logic programming Reasoning
ISSN:	1570-8683, 1570-8691
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!