Ontological encapsulation of many-valued logic

Abstract. Large databases obtained by the data integration of different source databases can be incomplete and inconsistent in many ways. The classical logic is not the appropriate formalism for reasoning about inconsistent databases. Cer-tain local inconsistencies should not be allowed to significantly alter the intended meaning of such logic programs. The variety of semantical approaches that have been invented for logic programs is quite broad. In particular we are interested for many-valued logics with negation, based on bilattices. We present a 2-valued logic, based on an Ontological Encapsulation of Many-Valued Logic Program-ming, which overcome some drawbacks of the previous research approaches in many-valued logic programming. We defined a Model theory for Herbrand in-terpretations of ontologically encapsulated logic programs, based on a semantic reflection of the epistemic many-valued logic. 1 Introduction to Many-valued logic programming Semantics of logic programs are generally based on a classical 2-valued logic by means of stable models, [1,2]. Under these circumstances not every program has a stabl