Theories of truth based on four-valued infectious logics

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...

Modal Systems Based on Many-valued Logics

We propose a general semantic notion of modal many-valued logic. Then, we explore the difficulties to characterize this notation in a syntactic way and analyze the existing literature with respect to this framework.

A Framework for the Retrieval of Multimedia Objects Based on Four-Valued Fuzzy Description Logics

Knowledge representation, in particular logic, combined together with database and information retrieval techniques may play an important role in the development of so-called intelligent multimedia retrieval systems. In this paper we will present a logic-based framework in which multimedia objects’ medium dependent properties (objects’ low level features) and multimedia objects’ medium independ...

Computing and Comparing Semantics of Programs in Four-Valued Logics