ONTODLV
Le ontologie aziendali sono ampiamente adottate per concettualizzare le informazioni di business aziendali. OntoDLV è un sistema basato su ASP per le specifiche e il ragionamento su ontologie. OntoDLV implementa un potente linguaggio per la rappresentazione di ontologie, chiamato OntoDLP, che estende l’ASP (disgiuntivo) con tutte le principali funzionalità ontologiche tra cui classi, eredità, relazioni e assiomi. OntoDLP è fortemente tipizzato e include anche costruttori di tipi complessi, come elenchi e set.
Le licenze per uso commerciale possono essere richieste scrivendo a info@dlvsystem.com
Per richiedere una copia di ONTOdlv scrivi una mail a info@dlvsystem.com
- Francesco Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell’Armi, Giovanni Grasso, Nicola Leone OntoDLV: An ASP-based System for Enterprise Ontologies. J. Log. Comput. 19(4): 643-670 (2009)
- Francesco Ricca, Nicola Leone Disjunctive logic programming with types and objects: The DLV+ system. J. Appl. Log. 5(3): 545-573 (2007)