Welcome to the InfoSci Platform
Inconsistency, Logic Databases, and Ontologies

Inconsistency, Logic Databases, and Ontologies

José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González
Copyright: © 2009 |Pages: 8
ISBN13: 9781605662428|ISBN10: 1605662429|EISBN13: 9781605662435
DOI: 10.4018/978-1-60566-242-8.ch049
Cite Chapter Cite Chapter

MLA

Alonso-Jiménez, José A., et al. "Inconsistency, Logic Databases, and Ontologies." Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends, edited by Viviana E. Ferraggine, et al., IGI Global, 2009, pp. 452-459. https://doi.org/10.4018/978-1-60566-242-8.ch049

APA

Alonso-Jiménez, J. A., Borrego-Díaz, J., & Chávez-González, A. M. (2009). Inconsistency, Logic Databases, and Ontologies. In V. Ferraggine, J. Doorn, & L. Rivero (Eds.), Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends (pp. 452-459). IGI Global. https://doi.org/10.4018/978-1-60566-242-8.ch049

Chicago

Alonso-Jiménez, José A., Joaquín Borrego-Díaz, and Antonia M. Chávez-González. "Inconsistency, Logic Databases, and Ontologies." In Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends, edited by Viviana E. Ferraggine, Jorge Horacio Doorn, and Laura C. Rivero, 452-459. Hershey, PA: IGI Global, 2009. https://doi.org/10.4018/978-1-60566-242-8.ch049

Export Reference

Mendeley
Favorite

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.