Home
Scholarly Works
Ontology Merging and Reasoning Using...
Journal article

Ontology Merging and Reasoning Using Paraconsistent Logics

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.

Authors

Cocos C; Imam F; MacCaull W

Journal

International Journal of Knowledge-Based Organizations, Vol. 2, No. 4, pp. 35–51

Publisher

IGI Global

Publication Date

October 1, 2012

DOI

10.4018/ijkbo.2012100103

ISSN

2155-6393

Contact the Experts team