Abstract

Nowadays, data management on the World Wide Web needs to consider very large knowledge databases (KDB). The larger is a KDB, the smaller the possibility of being consistent. Consistency in checking algorithms and systems fails to analyse very large KDBs, and so many have to work every day with inconsistent information. Database revision—transformation of the KDB into another, consistent database—is a solution to this inconsistency, but the task is computationally untractable. Paraconsistent logics are also a useful option to work with inconsistent databases. These logics work on inconsistent KDBs but prohibit non desired inferences. From a philosophical (logical) point of view, the paraconsistent reasoning is a need that the self human discourse practices. From a computational, logical point of view, we need to design logical formalisms that allow us to extract useful information from an inconsistent database, taking into account diverse aspects of the semantics that are “attached” to deductive databases reasoning (see Table 1). The arrival of the semantic web (SW) will force the database users to work with a KDB that is expressed by logic formulas with higher syntactic complexity than are classic logic databases.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
Logic Databases and Inconsistency Handling
Antonia M. Chávez-González ... José A. Alonso-Jiménez
-
Antonia M. Chávez-González, et. al.Antonia M. Chávez-González ... José A. Alonso-Jiménez
01 Jan 2004
Willard van Orman Quine. Foreword, 1980. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. vii–ix. - Willard Van Orman Quine. On what there is. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 1–19. - Willard Van Orman Quine. Two dogmas of empiricism. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 20–46. - Willard Van Orman Quine. The problem of meaning in linguistics. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 47–64. - Willard Van Orman Quine. Identity, ostension, and hypostasis. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 65–79. - Willard Van Orman Quine. New foundations for mathematical logic. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 80–101. - Willard Van Orman Quine. Logic and the reification of universals. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 102–129. - Willard Van Orman Quine. Notes on the theory of reference. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 130–138. - Willard Van Orman Quine. Reference and modality. A revised reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 139–159. - Willard Van Orman Quine. Meaning and existential inference. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 160–167.
Frederic B. Fitch
Journal of Symbolic Logic | VOL. 47
Frederic B. FitchFrederic B. Fitch
01 Mar 1982
Willard Van Orman Quine. On what there is. A reprint of XIX 134(1). From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 1–19. - Willard Van Orman Quine. Two dogmas of empiricism. A reprint of XIX 134(2). From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 20–46. - Willard Van Orman Quine. The problem of meaning in linguistics. A reprint of XIX 134(3). From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 47–64. - Willard Van Orman Quine. Identity, ostension, and hypostasis. A reprint of XIX 134(4). From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 65–79. - Willard Van Orman Quine. New foundations for mathematical logic. A reprint of XIX 134(5). From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 80–101. - Willard Van Orman Quine. Logic and the reification of universals. A revised reprint of XIX 135. From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 102–129. - Willard Van Orman Quine. Notes on the theory of reference. A reprint of XIX 136. From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 130–138. - Willard Van Orman Quine. Reference and modality. A revised reprint of XIX 137. From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 139–159. - Willard Van Orman Quine. Meaning and existential inference. A reprint of XIX 138. From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 160–167.
Frederic B. Fitch
Journal of Symbolic Logic | VOL. 33
Frederic B. FitchFrederic B. Fitch
26 Apr 1968
SEMANTIC peculiarities OF PROVERBS AND SAYINGS ABOUT flattery
Nadehzda Yurevna Gutareva
V mire nauchnykh otkrytiy | VOL. 0
Nadehzda Yurevna GutarevaNadehzda Yurevna Gutareva
31 Jan 2014
View more papers