Results 1  10
of
10
CARIN: A Representation Language Combining Horn Rules and Description Logics
, 1996
"... . We describe CARIN, a novel family of representation languages, which integrate the expressive power of Horn rules and of description logics. We address the key issue in designing such a language, namely, providing a sound and complete inference procedure. We identify existential entailment as a c ..."
Abstract

Cited by 97 (1 self)
 Add to MetaCart
. We describe CARIN, a novel family of representation languages, which integrate the expressive power of Horn rules and of description logics. We address the key issue in designing such a language, namely, providing a sound and complete inference procedure. We identify existential entailment as a core problem in reasoning in CARIN, and describe an existential entailment algorithm for CARIN languages whose description logic component is ALCNR. This algorithm entails several important results for reasoning in CARIN, most notably: (1) a sound and complete inference procedure for non recursive CARINALCNR, and (2) an algorithm for determining rule subsumption over ALCNR. 1 Introduction Horn rule languages have formed the basis for many Artificial Intelligence application languages because their expressive power is sufficient for many applications, and they have good computational properties. One of the significant limitations of Horn rules is that they are not expressive enough to mod...
Horn clauses and database dependencies
 Journal of the ACM
, 1982
"... Abstract. Certain firstorder sentences, called "dependencies, " about relations in a database are defined and studied. These dependencies seem to include all prewously defined dependencies as special cases A new concept is mtroduced, called "faithfulness (with respect to direct produ ..."
Abstract

Cited by 60 (6 self)
 Add to MetaCart
Abstract. Certain firstorder sentences, called "dependencies, " about relations in a database are defined and studied. These dependencies seem to include all prewously defined dependencies as special cases A new concept is mtroduced, called "faithfulness (with respect to direct product), " which enables powerful results to be proved about the existence of "Armstrong relations " in the presence of these new dependencies. (An Armstrong relaUon is a relation that obeys precisely those dependencies that are the logical consequences of a given set of dependencies.) Results are also obtained about characterizing the class of projections of those relations that obey a given set of dependencies.
Probabilistic data exchange
 In Proc. ICDT
, 2010
"... The work reported here lays the foundations of data exchange in the presence of probabilistic data. This requires rethinking the very basic concepts of traditional data exchange, such as solution, universal solution, and the certain answers of target queries. We develop a framework for data exchange ..."
Abstract

Cited by 28 (5 self)
 Add to MetaCart
The work reported here lays the foundations of data exchange in the presence of probabilistic data. This requires rethinking the very basic concepts of traditional data exchange, such as solution, universal solution, and the certain answers of target queries. We develop a framework for data exchange over probabilistic databases, and make a case for its coherence and robustness. This framework applies to arbitrary schema mappings, and finite or countably infinite probability spaces on the source and target instances. After establishing this framework and formulating the key concepts, we study the application of the framework to a concrete and practical setting where probabilistic databases are compactly encoded by means of annotations formulated over random Boolean variables. In this setting, we study the problems of testing for the existence of solutions and universal solutions, materializing such solutions, and evaluating target queries (for unions of conjunctive queries) in both the exact sense and the approximate sense. For each of the problems, we carry out a complexity analysis based on properties of the annotation, in various classes of dependencies. Finally, we show that the framework and results easily and completely generalize to allow not only the data, but also the schema mapping itself to be probabilistic.
Verification of Knowledge Bases based on Containment Checking
 Artificial Intelligence
, 1996
"... Building complex knowledge based applications requires encoding large amounts of domain knowledge. After acquiring knowledge from domain experts, much of the effort in building a knowledge base goes into verifying that the knowledge is encoded correctly. A knowledge base is verified if it can be sho ..."
Abstract

Cited by 15 (2 self)
 Add to MetaCart
Building complex knowledge based applications requires encoding large amounts of domain knowledge. After acquiring knowledge from domain experts, much of the effort in building a knowledge base goes into verifying that the knowledge is encoded correctly. A knowledge base is verified if it can be shown that certain constraints always hold between the inputs and the outputs. We consider the knowledge base verification problem for Horn rule knowledge bases and for three kinds of constraints: I/O consistency constraints, I/O dependency constraints and Input completeness constraints. For the first two cases, we establish tight complexity results on the problem, and show in what cases it is decidable. In the third case, we show that the problem is, in general, undecidable, and we identify two decidable cases. In our analysis we show how the properties of the problem vary depending on the presence of recursion in the Horn rules, the presence of the interpreted predicates =, , ! and 6=, and th...
The implication and finite implication problems for typed template dependencies
 Journal of Computer and System Sciences
, 1984
"... The class of typed template dependencies is a class of data dependencies that includes embedded multivalued and join dependencies. It is shown that the implication and the_/Inite implication problems for this class are unsolvable. An immediate corollary is that this class has no formal system for fi ..."
Abstract

Cited by 11 (0 self)
 Add to MetaCart
The class of typed template dependencies is a class of data dependencies that includes embedded multivalued and join dependencies. It is shown that the implication and the_/Inite implication problems for this class are unsolvable. An immediate corollary is that this class has no formal system for finite implication. It is also shown how to construct a finite set of typed template dependencies whose implication and finite implication problems are unsolvable. The class of projected join dependencies is a proper subclass of the above class, and it generalizes slightly embedded join dependencies. It is shown that the implication and the finite implication problems for this class are also unsolvable. An immediate corollary is that this class has no universebounded formal system for either implication or finite implication. 1. INTR~OUCTI~N In the relational model one views the database as a collection of relations, where each relation is a set of tuples over some domain of values [ 141. One notable feature of this model is its being almost devoid of semantics. A tuple in a relation represents a relationship between certain values, but from the mere syntactic definition of the
The Complexity Of Querying Indefinite Information: Defined Relations, Recursion And Linear Order
, 1992
"... OF THE DISSERTATION The Complexity of Querying Indefinite Information: Defined Relations, Recursion and Linear Order by Ronald van der Meyden, Ph.D. Dissertation Director: L.T. McCarty This dissertation studies the computational complexity of answering queries in logical databases containing indefin ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
OF THE DISSERTATION The Complexity of Querying Indefinite Information: Defined Relations, Recursion and Linear Order by Ronald van der Meyden, Ph.D. Dissertation Director: L.T. McCarty This dissertation studies the computational complexity of answering queries in logical databases containing indefinite information arising from two sources: facts stated in terms of defined relations, and incomplete information about linearly ordered domains. First, we consider databases consisting of (1) a DATALOG program and (2) a description of the world in terms of the predicates defined by the program as well as the basic predicates. The query processing problem in such databases is related to issues in database theory, including view updates and DATALOG optimization, and also to the Artificial Intelligence problems of reasoning in circumscribed theories and sceptical abductive reasoning. If the program is nonrecursive, the meaning of the database can be represented by Clark's Predicate Completion,...
The word problem for cancellation semigroups with zero
 Journal of Symbolic Logic
, 1984
"... Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at. ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at.
A TopDown Proof Procedure for Generalized Data Dependencies
"... . Data dependencies are well known in the context of relational database. They aim to specify constraints that the data must satisfy to model correctly the part of the world under consideration. The implication problem for dependencies is to decide whether a given dependency is logically implied by ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
. Data dependencies are well known in the context of relational database. They aim to specify constraints that the data must satisfy to model correctly the part of the world under consideration. The implication problem for dependencies is to decide whether a given dependency is logically implied by a given set of dependencies. A proof procedure for the implication problem, called \chase", has already been studied in the generalized case of tuplegenerating and equalitygenerating dependencies. The chase is a bottomup procedure: from hypotheses to conclusion, and thus is not goaldirected. It also requires the dynamic creation of new symbols, which can turn out to be a costly operation. This paper introduces a new proof procedure which is topdown: from conclusion to hypothesis, that is goaldirected. The originality of this procedure is that it does not act as classical theorem proving procedures, which require a special form of expressions, such as clausal form, obtained after skolemi...
Chasing Relational Database Constraints Backwards
, 2000
"... Data dependencies are well known in the context of relational database. They aim to specify constraints that the data must satisfy to model correctly the part of the world under consideration. The implication problem for dependencies is to decide whether a given dependency is logically implied b ..."
Abstract
 Add to MetaCart
Data dependencies are well known in the context of relational database. They aim to specify constraints that the data must satisfy to model correctly the part of the world under consideration. The implication problem for dependencies is to decide whether a given dependency is logically implied by a given set of dependencies. A proof procedure for the implication problem, called "chase", has already been studied in the generalized case of tuplegenerating and equalitygenerating dependencies. The chase