Conservative Extensions in Expressive Description Logics

Carsten LutzCarsten Lutz, Dirk WaltherDirk Walther, Frank WolterFrank Wolter

Download

Carsten Lutz, Dirk Walther, Frank Wolter
Conservative Extensions in Expressive Description Logics
In Manuela Veloso, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 453-458, 2007. AAAI Press

Details
Bibtex

KurzfassungAbstract
The notion of a conservative extension plays a central role in ontology design and integration: it can be used to formalize ontology refinements, safe mergings of two ontologies, and independent modules inside an ontology. Regarding reasoning support, the most basic task is to decide whether one ontology is a conservative extension of another. It has recently been proved that this problem is decidable and 2ExpTime-complete if ontologies are formulated in the basic description logic ALC. We consider more expressive description logics and begin to map out the boundary between logics for which conservativity is decidable and those for which it is not. We prove that conservative extensions are 2ExpTime-complete in ALCQI, but undecidable in ALCQIO. We also show that if conservative extensions are defined model-theoretically rather than in terms of the consequence relation, they are undecidable already in ALC.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ LuWaWo-07,
  author = {Carsten {Lutz} and Dirk {Walther} and Frank {Wolter}},
  booktitle = {Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07)},
  editor = {Manuela {Veloso}},
  pages = {453--458},
  publisher = {AAAI Press},
  title = {Conservative Extensions in Expressive Description Logics},
  year = {2007},
}