We present an ontology-driven approach to service composition with deductive databases. We formalize Web services as Deductive Web services (DWS) where the Extensional Service Base (ESB) stores all input and output signatures of services. The Intensional Service Base (ISB) corresponds to a set of deductive rules that express the semantics of the ESB captured by a domain ontology. We provide a f...

This article will introduce abductive case-based reasoning (CBR) and attempt to show that abductive CBR and deductive CBR can be integrated in clinical process and problem solving. Then it provides a unified formalization for integration of abduction, abductive CBR, deduction and deductive CBR. This article also investigates abductive case retrieval and deductive case retrieval using similarity...

This paper highlights the limits of current implementations of SQL and shows how they can be overcome with deductive approaches. Deductive query languages subsuming relational ones must include constructors to allow users for submitting queries semantically equivalent to their relational counterparts. As deductive languages are based on first order predicate logic, they are able to capture rela...

This paper presents an experiment in the use of a deductive database system for computer network maintenance. There are relatively few practical applications of deductive databases. Takagi et.al. applied deductive databases to a practical problem. They utilized an indirect connectivity search capability of a deductive database system for a retrieval of complex con gurations in petrochemical pip...

Incompleteness is addressed by using a framework that allows expression of probability. An update procedure is given to handle nonmonotonic change of knowledge. We point out the relationship between probabilistic diagnosis and probabilistic deductive database updates, and present a coincidence theorem which formally establishes it. An implication of the result allows us to treat diagnostic prob...

In this paper an approach to the integration of object-orientation and deductive databases is presented. The underlying language is an extension of conventional deductive database languages and allows a very natural and uniform representation of classes and objects as modules.

At a workshop held in Toulouse, France in 1977, Gallaire, Minker and Nicolas stated that logic and databases was a eld in its own right (see 131]). This was the rst 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...

In this paper we introduce inheritance in deductive object databases and deene an operator for hierarchically composing deductive objects with state evolution capabilities. Evolution of such objects models the expected transactional behavior while preserving many important features of deductive databases. Deductive objects can be organized in ISA schemas where each object may inherit or redeene...