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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of applied logic Jg. 5; H. 3; S. 545 - 573
Hauptverfasser: Ricca, Francesco, Leone, Nicola
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier B.V 01.09.2007
Schlagworte:
Disjunctive logic programming
Objects
Ontologies
Reasoning
Types
Objects
Ontologies
Types
Disjunctive logic programming
Reasoning
ISSN:1570-8683, 1570-8691
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
Bibliographie: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