Title | ||
---|---|---|
Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources |
Abstract | ||
---|---|---|
In this paper we give an overview on multi-context systems (MCS) with a special focus on their recent nonmonotonic extensions. MCS provide a flexible, principled account of integrating heterogeneous knowledge sources. By a knowledge source we mean a knowledge base formulated in any of the typical knowledge representation languages, including classical logic, description logics, modal or temporal logics, but also nonmonotonic formalisms like logic programs under answer set semantics or default logic. We will motivate the need for such systems, describe what has been achieved in this area, but we also discuss work in progress and introduce generalizations of the existing framework which we consider useful. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-20832-4_16 | Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
Keywords | Field | DocType |
classical logic,temporal logic,description logic,flexible approach,typical knowledge representation language,knowledge base,nonmonotonic multi-context system,nonmonotonic formalisms,knowledge source,heterogeneous knowledge source,logic program,default logic | Default logic,Argumentation framework,Knowledge representation and reasoning,Description logic,Theoretical computer science,Classical logic,Knowledge base,Rotation formalisms in three dimensions,Semantics,Mathematics | Conference |
Citations | PageRank | References |
23 | 0.81 | 36 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gerhard Brewka | 1 | 2529 | 183.64 |
Thomas Eiter | 2 | 7238 | 532.10 |
Michael Fink | 3 | 1145 | 62.43 |