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

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!