Four-Valued Logics BD and DM4: Expansions

Paraconsistent Resolution for Four-valued Description Logics

In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve this in two steps: First we give a simple way to make anyALC based ontology 4-valued satisfiable, and then we study a sound and complete paraconsistent ordered-resolution decision procedure for our 4-valuedALC. Our approach can be...

Four-valued Logics for Paraconsistent Reasoning

A drawback of many logics for reasoning on Semantic Web ontologies is the Principle of Explosion in case of inconsistent data. Considering a four-valued semantics, inconsistencies can be tolerated such that paraconsistency is obtained. We extend Belnap’s four-valued logic to a four-valued first-order logic with implication and equality, and we develop a method for translating formulas to a repr...

Computing and Comparing Semantics of Programs in Four-Valued Logics

Four-valued Logics for Reasoning with Uncertainty in Prioritized Data

We present an approach for drawing plausible conclusions from inconsistent and incomplete knowledge-bases, which may also be prioritized. Our method is based on a four-valued semantics that is particularly suitable for reasoning with uncertainty. Our inference mechanism is closely related to some other well-known formalisms for handling inconsistent data, such as reasoning with maximal consiste...

Hypothesis Support for Information Integration in Four-Valued Logics