Unification of Concept Terms in Description Logics

From International Center for Computational Logic

Toggle side column

Unification of Concept Terms in Description Logics

Franz BaaderFranz Baader,  P. NarendranP. Narendran
Unification of Concept Terms in Description Logics


Franz Baader, P. Narendran
Unification of Concept Terms in Description Logics
In H. Prade, eds., Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 331-335, 1998. John Wiley & Sons Ltd
  • KurzfassungAbstract
    Unification of concept terms is a new kind of inference problem for Description Logics, which extends the equivalence problem by allowing to replace certain concept names by concept terms before testing for equivalence. We show that this inference problem is of interest for applications, and present first decidability and complexity results for a small concept description language.
  • Forschungsgruppe:Research Group: Automatentheorie
@inproceedings{ Baader-Narendran-ECAI-98,
  author = {F. {Baader} and P. {Narendran}},
  booktitle = {Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98)},
  editor = {H. {Prade}},
  pages = {331--335},
  publisher = {John Wiley \& Sons Ltd},
  title = {Unification of Concept Terms in Description Logics},
  year = {1998},
}