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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Journal of applied logic Ročník 5; číslo 3; s. 545 - 573
Hlavní autoři: Ricca, Francesco, Leone, Nicola
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 01.09.2007
Témata:
Disjunctive logic programming
Objects
Ontologies
Reasoning
Types
Objects
Ontologies
Types
Disjunctive logic programming
Reasoning
ISSN:1570-8683, 1570-8691
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie: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