Rewriting Concepts Using Terminologies

From International Center for Computational Logic

Toggle side column

Rewriting Concepts Using Terminologies

Franz BaaderFranz Baader,  R. KüstersR. Küsters,  R. MolitorR. Molitor
Franz Baader, R. Küsters, R. Molitor
Rewriting Concepts Using Terminologies
In A.G. Cohn and F. Giunchiglia and B. Selman, eds., Proceedings of the Seventh International Conference on Knowledge Representation and Reasoning (KR2000), 297-308, 2000. Morgan Kaufmann Publishers
  • KurzfassungAbstract
    The problem of rewriting a concept given a terminology can informally be stated as follows: given a terminology T (i.e., a set of concept definitions) and a concept description C that does not contain concept names defined in T, can this description be rewritten into a related "better" description E by using (some of) the names defined in T? In this paper, we first introduce a general framework for the rewriting problem in description logics, and then concentrate on one specific instance of the framework, namely the minimal rewriting problem (where "better" means shorter, and "related" means equivalent). We investigate the complexity of the decision problem induced by the minimal rewriting problem for the languages FL0, ALN, ALE, and ALC, and then introduce an algorithm for computing (minimal) rewritings for the language ALE. (In the full paper, a similar algorithm is also developed for ALN.) Finally, we sketch other interesting instances of the framework. Our interest for the minimal rewriting problem stems from the fact that algorithms for non-standard inferences, such as computing least common subsumers and matchers, usually produce concept descriptions not containing defined names. Consequently, these descriptions are rather large and hard to read and comprehend. First experiments in a chemical process engineering application show that rewriting can reduce the size of concept descriptions obtained as least common subsumers by almost two orders of magnitude.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ BaaderKuestersMolitor-KR-2000,
  address = {San Francisco, CA},
  author = {F. {Baader} and R. {K{\"u}sters} and R. {Molitor}},
  booktitle = {Proceedings of the Seventh International Conference on Knowledge Representation and Reasoning (KR2000)},
  editor = {A.G. {Cohn} and F. {Giunchiglia} and B. {Selman}},
  pages = {297--308},
  publisher = {Morgan Kaufmann Publishers},
  title = {Rewriting Concepts Using Terminologies},
  year = {2000},
}