Multi-context Systems: Specifying the Interaction of Knowledge Bases Declaratively

Research in knowledge representation and, more generally, information technology has produced a large variety of formats and languages for representing knowledge.A wealth of tools and formalisms is now available, including rather basic ones like databases or the more recent triple-stores, and more expressive ones like ontology languages (e.g., description logics), temporal and modal logics, nonmonotonic logics, or logic programs under answer set semantics, to name just a few.