The Community for Technology Leaders
Green Image
<p><b>Abstract</b>—The <it>BQM</it>—an acronym that stands for Bottom-up Query machine, the role played by our system in the framework of the KIWIS system [<ref rid="bibk05392" type="bib">2</ref>]—system extends deductive database technology with knowledge structuring capabilities to provide an advanced environment for the development of data and knowledge-based applications. The system relies on a knowledge representation language that combines the declarativeness of logic programming with the notions of object, inheritance with exceptions, and message passing. Exceptions are supported by allowing rules with negated heads. The use of exceptions inside the inheritance mechanism makes the language inherently nonmonotonic. The paper contains a comprehensive description of both the language and the implementation principles of the <it>BQM</it> system. It begins by providing a model-theoretic semantics of the language based on the notion of least model. A fixpoint semantics, providing a constructive definition of the least model, is given as well. Then, a number of implementation techniques for efficient query evaluation are described. Such techniques significantly extend "traditional" deductive database query evaluation strategies to deal with monotonic reasoning. A description of the architecture of the current prototype of the <it>BQM</it> system is also given.</p>
Deductive databases, object-oriented programming, nonmonotonic reasoning, logic programming, bottom-up evaluation, optimization techniques.
Nicola Leone, Pasquale Rullo, Antonella Mecchia, Giuseppe Rossi, "A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning", IEEE Transactions on Knowledge & Data Engineering, vol. 9, no. , pp. 539-558, July-August 1997, doi:10.1109/69.617049
83 ms
(Ver 3.3 (11022016))