DLV
Il motore di ragionamento
Sistema di deductive database basato su disjunctive logic programming: una piattaforma AI general-purpose per attività su database e problemi di ottimizzazione. Il cuore della tecnologia DLVSystem.
La tecnologia DLV
Tecnologia
Al cuore di DLVSystem c'è DLV: un motore di ragionamento dichiarativo che modella problemi complessi con la logica e ne deriva soluzioni verificabili.
La piattaforma
Non una scatola nera. Un ragionamento che puoi leggere.
DLV è un sistema di deductive database basato su disjunctive logic programming, sviluppato dai ricercatori dell'Università della Calabria e della TU Wien. Attorno ad esso, un ecosistema di strumenti collega la logica ai database, all'ambiente di sviluppo, a Java e alle ontologie — coprendo l'intero percorso dal dato alla decisione. Scopri le radici scientifiche →
L'ecosistema
Gli strumenti DLV.
DLVDB
Logica e database, insieme
Estende DLV per collegare specifiche logiche e sistemi di gestione di database (DBMS), riducendo il consumo di memoria. Interoperabilità via ODBC con database distribuiti.
ASPIDE
L'ambiente di sviluppo per ASP
Un IDE integrato per l'Answer Set Programming: copre l'intero ciclo di sviluppo — scrittura, correzione, test ed esecuzione — per aumentare la produttività del programmatore.
JDLV
DLV incontra Java
Framework che integra DLV con Java tramite JASP, un linguaggio ibrido che mappa oggetti Java in fatti logici (e viceversa), allineandosi allo standard JPA per l'integrazione enterprise.
ONTOdlv
Ontologie enterprise
Sistema di ontologie basato su OntoDLP: un potente linguaggio di rappresentazione con classi, ereditarietà, relazioni e assiomi, tipizzazione forte e costruttori di tipo complessi.