Results 11  20
of
157
FLORA2: A RuleBased Knowledge Representation and Inference Infrastructure for the Semantic Web
 In Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE
, 2003
"... Abstract. Flora2 is a rulebased objectoriented knowledge base system designed for a variety of automated tasks on the Semantic Web, ranging from metadata management to information integration to intelligent agents. The Flora2 system integrates Flogic, HiLog, and Transaction Logic into a cohere ..."
Abstract

Cited by 66 (5 self)
 Add to MetaCart
Abstract. Flora2 is a rulebased objectoriented knowledge base system designed for a variety of automated tasks on the Semantic Web, ranging from metadata management to information integration to intelligent agents. The Flora2 system integrates Flogic, HiLog, and Transaction Logic into a coherent knowledge representation and inference language. The result is a flexible and natural framework that combines rulebased and objectoriented paradigms. This paper discusses the principles underlying the design of the Flora2 system and describes its salient features, including metaprogramming, reification, logical database updates, encapsulation, and support for dynamic modules. 1
Logic and Databases: a 20 Year Retrospective
, 1996
"... . At a workshop held in Toulouse, France in 1977, Gallaire, Minker and Nicolas stated that logic and databases was a field in its own right (see [131]). This was the first time that this designation was made. The impetus for this started approximately twenty years ago in 1976 when I visited Gallaire ..."
Abstract

Cited by 58 (1 self)
 Add to MetaCart
. At a workshop held in Toulouse, France in 1977, Gallaire, Minker and Nicolas stated that logic and databases was a field in its own right (see [131]). This was the first time that this designation was made. The impetus for this started approximately twenty years ago in 1976 when I visited Gallaire and Nicolas in Toulouse, France, which culminated in a workshop held in Toulouse, France in 1977. It is appropriate, then to provide an assessment as to what has been achieved in the twenty years since the field started as a distinct discipline. In this retrospective I shall review developments that have taken place in the field, assess the contributions that have been made, consider the status of implementations of deductive databases and discuss the future of work in this area. 1 Introduction As described in [234], the use of logic and deduction in databases started in the late 1960s. Prominent among the developments was the work by Levien and Maron [202, 203, 199, 200, 201] and Kuhns [1...
A Parametric Approach to Deductive Databases with Uncertainty
, 1997
"... Numerous frameworks have been proposed in recent years for deductive databases with uncertainty. These frameworks differ in (i) their underlying notion of uncertainty, (ii) the way in which uncertainties are manipulated, and (iii) the way in which uncertainty is associated with the facts and rules o ..."
Abstract

Cited by 50 (6 self)
 Add to MetaCart
Numerous frameworks have been proposed in recent years for deductive databases with uncertainty. These frameworks differ in (i) their underlying notion of uncertainty, (ii) the way in which uncertainties are manipulated, and (iii) the way in which uncertainty is associated with the facts and rules of a program. On the basis of (iii), these frameworks can be classified into implication based (IB) and annotation based (AB) frameworks. In this paper, we develop a generic framework called the parametric framework as a unifying umbrella for IB frameworks. We develop the declarative, fixpoint, and prooftheoretic semantics of programs in the parametric framework and show their equivalence. Using this framework as a basis, we study the query optimization problem of containment of conjunctive queries in this framework, and establish necessary and sufficient conditions for containment for several classes of parametric conjunctive queries. Our results yield tools for use in the query optimization for large classes of query programs in IB deductive databases with uncertainty.
Antitonic Logic Programs
, 2001
"... In a previous work we have de ned Monotonic Logic Programs which extend definite logic programming to arbitrary complete lattices of truthvalues with an appropriate notion of implication. We have shown elsewhere that this framework is general enough to capture Generalized Annotated Logic Programs, ..."
Abstract

Cited by 46 (11 self)
 Add to MetaCart
In a previous work we have de ned Monotonic Logic Programs which extend definite logic programming to arbitrary complete lattices of truthvalues with an appropriate notion of implication. We have shown elsewhere that this framework is general enough to capture Generalized Annotated Logic Programs, Probabilistic Deductive Databases, Possibilistic Logic Programming, Hybrid Probabilistic Logic Programs and Fuzzy Logic Programming [3, 4]. However, none of these semantics define a form of nonmonotonic negation, which is fundamental for several knowledge representation applications. In the spirit of our previous work, we generalise our framework of Monotonic Logic Programs to allow for rules with arbitrary antitonic bodies over general complete lattices, of which normal programs are a special case. We then show that all the standard logic programming theoretical results carry over to Antitonic Logic Programs, defining Stable Model and Wellfounded Model alike semantics.
Probabilistic Logic Learning
 ACMSIGKDD Explorations: Special issue on MultiRelational Data Mining
, 2004
"... The past few years have witnessed an significant interest in probabilistic logic learning, i.e. in research lying at the intersection of probabilistic reasoning, logical representations, and machine learning. A rich variety of di#erent formalisms and learning techniques have been developed. This pap ..."
Abstract

Cited by 43 (10 self)
 Add to MetaCart
The past few years have witnessed an significant interest in probabilistic logic learning, i.e. in research lying at the intersection of probabilistic reasoning, logical representations, and machine learning. A rich variety of di#erent formalisms and learning techniques have been developed. This paper provides an introductory survey and overview of the stateof theart in probabilistic logic learning through the identification of a number of important probabilistic, logical and learning concepts.
Query evaluation in probabilistic relational databases
 Theoretical Computer Science
, 1997
"... ..."
(Show Context)
Probabilistic Logic Programming and Bayesian Networks
 In Asian Computing Science Conference
, 1995
"... We present a probabilistic logic programming framework that allows the representation of conditional probabilities. While conditional probabilities are the most commonly used method for representing uncertainty in probabilistic expert systems, they have been largely neglected by work in quantitative ..."
Abstract

Cited by 36 (0 self)
 Add to MetaCart
(Show Context)
We present a probabilistic logic programming framework that allows the representation of conditional probabilities. While conditional probabilities are the most commonly used method for representing uncertainty in probabilistic expert systems, they have been largely neglected by work in quantitative logic programming. We define a fixpoint theory, declarative semantics, and proof procedure for the new class of probabilistic logic programs. Compared to other approaches to quantitative logic programming, we provide a true probabilistic framework with potential applications in probabilistic expert systems and decision support systems. We also discuss the relationship between such programs and Bayesian networks, thus moving toward a unification of two major approaches to automated reasoning. To appear in Proceedings of the 1995 Asian Computing Science Conference, Pathumthani, Thailand, December 1995. This work was partially supported by NSF grant IRI9509165. 1 Introduction Reasoning u...
On A Theory of Probabilistic Deductive Databases
 THEORY AND PRACTICE OF LOGIC PROGRAMMING
, 2001
"... We propose a framework for modeling uncertainty where both belief and doubt can be given independent, firstclass status. We adopt probability theory as the mathematical formalism for manipulating uncertainty. An agent can express the uncertainty in her knowledge about a piece of information in the ..."
Abstract

Cited by 35 (0 self)
 Add to MetaCart
(Show Context)
We propose a framework for modeling uncertainty where both belief and doubt can be given independent, firstclass status. We adopt probability theory as the mathematical formalism for manipulating uncertainty. An agent can express the uncertainty in her knowledge about a piece of information in the form of a confidence level, consisting of a pair of intervals of probability, one for each of her belief and doubt. The space of confidence levels naturally leads to the notion of a trilattice, similar in spirit to Fitting's bilattices. Intuitively, the points in such a trilattice can be ordered according to truth, information, or precision. We develop a framework for probabilistic deductive databases by associating confidence levels with the facts and rules of a classical deductive database. While the trilattice structure offers a variety of choices for defining the semantics of probabilistic deductive databases, our choice of semantics is based on the truthordering, which we find to be closest to the classical framework for deductive databases. In addition to proposing a declarative semantics based on valuations and an equivalent semantics based on fixpoint theory, we also propose a proof procedure and prove it sound and complete. We show that while classical Datalog query programs have a polynomial time data complexity, certain query programs in the probabilistic deductive database framework do not even terminate on some input databases. We identify a large natural class of query programs of practical interest in our framework, and show that programs in this class possess polynomial time data complexity, i.e. not only do they terminate on every input database, they are guaranteed to do so in a number of steps polynomial in the input database size.
Loglinear models for firstorder probabilistic reasoning
 Proceedings of the 15th Annual Conference on Uncertainty in AI (UAI’99
, 1999
"... Recent work on loglinear models in probabilistic constraint logic programming is applied to firstorder probabilistic reasoning. Probabilities are defined directly on the proofs of atomic formulae, and by marginalisation on the atomic formulae themselves. We use Stochastic Logic Programs (SLPs) compo ..."
Abstract

Cited by 33 (5 self)
 Add to MetaCart
(Show Context)
Recent work on loglinear models in probabilistic constraint logic programming is applied to firstorder probabilistic reasoning. Probabilities are defined directly on the proofs of atomic formulae, and by marginalisation on the atomic formulae themselves. We use Stochastic Logic Programs (SLPs) composed of labelled and unlabelled definite clauses to define the proof probabilities. We have a conservative extension of firstorder reasoning, so that, for example, there is a oneone mapping between logical and random variables. We show how, in this framework, Inductive Logic Programming (ILP) can be used to induce the features of a loglinear model from data. We also compare the presented framework with other approaches to firstorder probabilistic reasoning.
CPlogic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming
"... We examine the relation between constructive processes and the concept of causality. We observe that causality has an inherent dynamic aspect, i.e., that, in essence, causal information concerns the evolution of a domain over time. Motivated by this observation, we construct a new representation lan ..."
Abstract

Cited by 31 (4 self)
 Add to MetaCart
(Show Context)
We examine the relation between constructive processes and the concept of causality. We observe that causality has an inherent dynamic aspect, i.e., that, in essence, causal information concerns the evolution of a domain over time. Motivated by this observation, we construct a new representation language for causal knowledge, whose semantics is defined explicitly in terms of constructive processes. This is done in a probabilistic context, where the basic steps that make up the process are allowed to have nondeterministic effects. We then show that a theory in this language defines a unique probability distribution over the possible outcomes of such a process. This result offers an appealing explanation for the usefulness of causal information and links our explicitly dynamic approach to more static causal probabilistic modeling languages, such as Bayesian networks. We also show that this language, which we have constructed to be a natural formalization of a certain kind of causal statements, is closely related to logic programming. This result demonstrates that, under an appropriate formal semantics, a rule of a normal, a disjunctive or a certain kind of probabilistic logic program can be interpreted as a description of a causal event.