OntoDLV: An ASP-based System for Enterprise Ontologies

Abstract

Enterprise/Corporate ontologies are specifications of information of business enterprises. Semantic peculiarities of ASP, like the Closed World Assumption (CWA) and the Unique Name Assumption (UNA), are more appropriate than OWL assumptions for enterprise ontologies, also because these ontologies often are the evolution of relational databases, where both CWA and UNA are adopted. In this paper we present OntoDLV, a system based on Answer Set Programming (ASP) for the specification and reasoning on enterprise ontologies. OntoDLV implements a powerful ontology representation language, called On-toDLP, extending (disjunctive) ASP with all the main ontology constructs including classes, inheritance, relations and axioms. OntoDLP is strongly typed, and includes also complex type constructors, like lists and sets. Importantly, OntoDLV supports a powerful interoperability mechanism with OWL, allowing the user to retrieve information also from OWL Ontologies and to exploit this information in OntoDLP ontologies and queries. The system is already used in a number of realworld applications including agent-based systems, information extraction, and text classification applications. ⋆ Supported by M.I.U.R. within projects "Potenziamento e Applicazioni della Programmazione Logica Disgiuntiva" and "Sistemi basati sulla logica per la rappresentazione di conoscenza: estensioni e tecniche di ottimizzazione."

The Intelligent Grounder of DLV

“…Most industrial applications of DLV are currently supervised by two spin-off companies of the University of Calabria, EXEURA and DLVSYSTEM. EXEURA uses DLV in its line of knowledge management products intended for resale, which includes OntoDLV [35], a system for ontology specification and reasoning, OLEX [37], a corporate classification system supporting the entire content classification lifecycle, and HıLεX [36], a system for ontology-based information extraction from unstructured documents. DLVSYSTEM, on the other hand, maintains the DLV system itself and supervises direct deployment of DLV in industrial applications by means of consulting.…”

Application of Answer Set Programming for Public Health Data Integration and Analysis

“…fact (26), more than 100 neighbor relations for these counties, e.g. facts (27)- (30), and around 850 cities distributed throughout these counties, e.g. (31).…”

A Rule System for Querying Persistent RDFS Data

“…As opposed to SWI Prolog's Semantic Web library [13] which also offers SPARQL support, we support Answer Set Programming as underlying LP paradigm, instead of Prolog. In contrast to OntoDLV [14], which supports proprietary ontology and query languages, the focus of GiaBATA is on compliance with Web standards such as SPARQL, RDF(S), OWL, and RIF. We currently work on the efficiency of FILTER expressions by rewriting them to SQL queries over the underlying database, see [15,16].…”