257 research outputs found
Managing data through the lens of an ontology
Ontology-based data management aims at managing data through the lens of an ontology, that is, a conceptual representation of the domain of interest in the underlying information system. This new paradigm provides several interesting features, many of which have already been proved effective in managing complex information systems. This article introduces the notion of ontology-based data management, illustrating the main ideas underlying the paradigm, and pointing out the importance of knowledge representation and automated reasoning for addressing the technical challenges it introduces
Answer Sets for Consistent Query Answering in Inconsistent Databases
A relational database is inconsistent if it does not satisfy a given set of
integrity constraints. Nevertheless, it is likely that most of the data in it
is consistent with the constraints. In this paper we apply logic programming
based on answer sets to the problem of retrieving consistent information from a
possibly inconsistent database. Since consistent information persists from the
original database to every of its minimal repairs, the approach is based on a
specification of database repairs using disjunctive logic programs with
exceptions, whose answer set semantics can be represented and computed by
systems that implement stable model semantics. These programs allow us to
declare persistence by defaults and repairing changes by exceptions. We
concentrate mainly on logic programs for binary integrity constraints, among
which we find most of the integrity constraints found in practice.Comment: 34 page
Connected Components and Disjunctive Existential Rules
In this paper, we explore conjunctive query rewriting, focusing on queries
containing universally quantified negation within the framework of disjunctive
existential rules. We address the undecidability of the existence of a finite
and complete UCQ-rewriting and the identification of finite unification sets
(fus) of rules. We introduce new rule classes, connected linear rules and
connected domain restricted rules, that exhibit the fus property for
existential rules. Additionally, we propose disconnected disjunction for
disjunctive existential rules to achieve the fus property when we extend the
introduced rule fragments to disjunctive existential rules. We present
ECOMPLETO, a system for efficient query rewriting with disjunctive existential
rules, capable of handling UCQs with universally quantified negation. Our
experiments demonstrate ECOMPLETO's consistent ability to produce finite
UCQ-rewritings and describe the performance on different ontologies and
queries.Comment: 23 pages, 4 figure
Datalog: Bag Semantics via Set Semantics
Duplicates in data management are common and problematic. In this work, we present a translation of Datalog under bag semantics into a well-behaved extension of Datalog, the so-called warded Datalog^+/-, under set semantics. From a theoretical point of view, this allows us to reason on bag semantics by making use of the well-established theoretical foundations of set semantics. From a practical point of view, this allows us to handle the bag semantics of Datalog by powerful, existing query engines for the required extension of Datalog. This use of Datalog^+/- is extended to give a set semantics to duplicates in Datalog^+/- itself. We investigate the properties of the resulting Datalog^+/- programs, the problem of deciding multiplicities, and expressibility of some bag operations. Moreover, the proposed translation has the potential for interesting applications such as to Multiset Relational Algebra and the semantic web query language SPARQL with bag semantics
- …