|
A Semantical Framework for Hybrid Knowledge Bases| old_uid | 4563 |
|---|
| title | A Semantical Framework for Hybrid Knowledge Bases |
|---|
| start_date | 2008/04/09 |
|---|
| schedule | 14h30 |
|---|
| online | no |
|---|
| summary | In the ongoing discussion about combining rules and Ontologies for the Semantic Web a recurring issue is how to combine first-order classical logic with nonmonotonic rule languages. While several modular approaches to define a combined semantics for such hybrid knowledge bases focus mainly on decidability issues, we tackle the matter from a more general point of view. In this talk we present an overview of the nonmonotonic reasoning framework, Quantified
Equilibrium Logic (QEL), and show how it can function as a unified framework embracing classical logic as well as disjunctive logic programs under the (open) answer set semantics. We show that this framework captures several existing modular approaches to hybrid knowledge bases in a unified way. We also propose a concept of strong equivalence
for hybrid knowledge bases and show how it can be
characterised in our logical framework. The talk is based on joint work with Jos de Bruijn, Axel Polleres and Agustin Valverde. |
|---|
| responsibles | Mothe, Lemarié, Debats |
|---|
| |
|