The integration of knowledge for multiple sources is an important aspect of automated
reasoning systems. When different knowledge bases are used to store knowledge provided …

Dealing with contradiction Page 1 8. Dealing with contradiction As we've seen before, WFSX
is not defined for every program, ie some programs are contradictory and are given no …

This paper presents declarative semantics of possibly inconsistent disjunctive logic
programs. We introduce the paraconsistent minimal and stable model semantics for …

Our contribution to this volume consists in giving a logic programmer's view on handling
program inconsistency. The semantics we cover will touch several aspects of implementing …

Knowledge representation research is not only formal, it is also descriptiveand normative. Its
aim is to implement a formal system which captures a practically relevant body of cognitive …

When integrating data coming from multiple different sources we are faced with the
possibility of inconsistency in databases. A paraconsistent approach for knowledge base …

We provide a simple formulation of a framework where some extensions of logic
programming with non-monotonic reasoning are treated uniformly, namely, two kinds of …

Abstract The Web Ontology Language OWL is currently the most prominent formalism for
representing ontologies in Semantic Web applications. OWL is based on description logics …

We present a coherent, flexible, unifying, and intuitive framework for the study of explicìt
negation in logic programs, based on the notion of admissi-ble scenaria and the" coherence …

Logic (DL) based ontologies and nonmonotonic rules provide complementary features
whose combination is crucial in many applications. In hybrid knowledge bases (KBs), which …