Ontology merging using belief revision and defeasible logic programming
We combine argumentation, belief revision and description logic ontologies for extending the -ontologies framework to show how to merge two ontologies in which the union of the strict terminologies could lead to inconsistency. To solve this problem, we revisit a procedure presented by Falappa et al...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2012
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23597 |
| Aporte de: |
| Sumario: | We combine argumentation, belief revision and description logic ontologies for extending the -ontologies framework to show how to merge two ontologies in which the union of the strict terminologies could lead to inconsistency. To solve this problem, we revisit a procedure presented by Falappa et al. in which part of the o ending terminologies are turned defeasible by using a kernel revision operator. |
|---|