Answer Set Programming (ASP) is a declarative language for knowledge representation and reasoning. After its proposal, in a seminal paper by Michael Gelfond and Vladimir Lifschitz dated in 1988, ASP has been the subject of a broad theoretical research-work, ranging from linguistic extensions and semantic properties to evaluation algorithm and optimization techniques. Later on, the availability of a number of efficient systems made ASP a powerful tool for the fast development of knowledge-based applications. In this paper, we report on the ongoing effort aimed at the industrial exploitation of DLV - one of the most popular ASP systems - in the area of Knowledge Management. Two spin-off companies of University of Calabria are involved in such an exploitation: Dlvsystem Srl and Exeura Srl. They have specialized DLV into some Knowledge Management products for Text Classification, Information Extraction, and Ontology Representation and Reasoning, which have allowed to develop a number of successful real-world applications

Answer Set Programming (ASP) is a declarative language for knowledge representation and reasoning. After its proposal, in a seminal paper by Michael Gelfond and Vladimir Lifschitz dated in 1988, ASP has been the subject of a broad theoretical research-work, ranging from linguistic extensions and semantic properties to evaluation algorithm and optimization techniques. Later on, the availability of a number of efficient systems made ASP a powerful tool for the fast development of knowledge-based applications. In this paper, we report on the ongoing effort aimed at the industrial exploitation of DLV – one of the most popular ASP systems – in the area of Knowledge Management. Two spin-off companies of University of Calabria are involved in such an exploitation: Dlvsystem Srl and Exeura Srl. They have specialized DLV into some Knowledge Management products for Text Classification, Information Extraction, and Ontology Representation and Reasoning, which have allowed to develop a number of successful real-world applications.

ASP at Work: Spin-off and Applications of the DLV System

GRASSO, Giovanni;LEONE, Nicola;MANNA, MARCO;RICCA, Francesco
2011-01-01

Abstract

Answer Set Programming (ASP) is a declarative language for knowledge representation and reasoning. After its proposal, in a seminal paper by Michael Gelfond and Vladimir Lifschitz dated in 1988, ASP has been the subject of a broad theoretical research-work, ranging from linguistic extensions and semantic properties to evaluation algorithm and optimization techniques. Later on, the availability of a number of efficient systems made ASP a powerful tool for the fast development of knowledge-based applications. In this paper, we report on the ongoing effort aimed at the industrial exploitation of DLV - one of the most popular ASP systems - in the area of Knowledge Management. Two spin-off companies of University of Calabria are involved in such an exploitation: Dlvsystem Srl and Exeura Srl. They have specialized DLV into some Knowledge Management products for Text Classification, Information Extraction, and Ontology Representation and Reasoning, which have allowed to develop a number of successful real-world applications
2011
978-3-642-20831-7
Answer Set Programming (ASP) is a declarative language for knowledge representation and reasoning. After its proposal, in a seminal paper by Michael Gelfond and Vladimir Lifschitz dated in 1988, ASP has been the subject of a broad theoretical research-work, ranging from linguistic extensions and semantic properties to evaluation algorithm and optimization techniques. Later on, the availability of a number of efficient systems made ASP a powerful tool for the fast development of knowledge-based applications. In this paper, we report on the ongoing effort aimed at the industrial exploitation of DLV – one of the most popular ASP systems – in the area of Knowledge Management. Two spin-off companies of University of Calabria are involved in such an exploitation: Dlvsystem Srl and Exeura Srl. They have specialized DLV into some Knowledge Management products for Text Classification, Information Extraction, and Ontology Representation and Reasoning, which have allowed to develop a number of successful real-world applications.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11770/169290
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 41
  • ???jsp.display-item.citation.isi??? ND
social impact