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!
Description
Summary: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, 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. DLV + is already used for the development of knowledge based applications for information extraction and text classification.
Bibliography:SourceType-Scholarly Journals-2
ObjectType-Feature-2
ObjectType-Conference Paper-1
content type line 23
SourceType-Conference Papers & Proceedings-1
ObjectType-Article-3
ISSN:1570-8683
1570-8691
DOI:10.1016/j.jal.2006.02.002