E-connections of Description Logics

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

E-connections of Description Logics

O. KutzO. Kutz,  Carsten LutzCarsten Lutz,  Frank WolterFrank Wolter,  M. ZakharyaschevM. Zakharyaschev
O. Kutz, Carsten Lutz, Frank Wolter, M. Zakharyaschev
E-connections of Description Logics
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
  • KurzfassungAbstract
    Recently, E-connections have been proposed as a new means for connecting knowledge representation systems. We illustrate how this connection technique can be used for combining description logics, thereby surveying various extensions of the original E-connections. For all these extensions, general transfer results for concept satisfiability are given.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ KuLuWoZa-DL2003,
  author = {O. {Kutz} and C. {Lutz} and F. {Wolter} and M. {Zakharyaschev}},
  booktitle = {Proceedings of the 2003 International Workshop on Description Logics ({DL2003})},
  series = {CEUR-WS},
  title = {$\mathcal{E}$-connections of Description Logics},
  year = {2003},
}