Ontology Merging and Reasoning Using Paraconsistent Logics

Cristian Cocos, Fahim Imam and Wendy MacCaull
Additional contact information
Cristian Cocos: Centre for Logic and Information, Saint Francis Xavier University, Antigonish, NS, Canada
Fahim Imam: Center for Research in Biological Systems, University of California - San Diego, La Jolla, CA, USA
Wendy MacCaull: Centre for Logic and Information, Saint Francis Xavier University, Antigonish, NS, Canada

International Journal of Knowledge-Based Organizations (IJKBO), 2012, vol. 2, issue 4, 35-51

Abstract: Dealing with the inconsistencies that might arise during the ontology merging process constitutes a major challenge. The explosive nature of classical logic requires any logic-based merging effort to dissolve possible contradictions, and thus maintain consistency. In many cases, however, inconsistent information may be useful for intelligent reasoning activities. In healthcare systems, for example, inconsistent information may be required to provide a full clinical perspective, and thus any information loss is undesirable. The authors present a 4-valued logic-based merging system that exhibits inconsistency-tolerant behavior to avoid information loss.

Date: 2012
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 018/ijkbo.2012100103 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jkbo00:v:2:y:2012:i:4:p:35-51

Access Statistics for this article

International Journal of Knowledge-Based Organizations (IJKBO) is currently edited by John Wang

More articles in International Journal of Knowledge-Based Organizations (IJKBO) from IGI Global
Bibliographic data for series maintained by Journal Editor ().