Unification of Concepts Terms in Description Logics

F. BaaderF. Baader, P. NarendranP. Narendran

F. Baader, P. Narendran
Unification of Concepts Terms in Description Logics
J. Symbolic Computation, 31(3):277--305, 2001

Details
Bibtex

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: AutomatentheorieAutomata Theory

@article{ Baader-Narendran-JSC-00,
  author = {F. {Baader} and P. {Narendran}},
  journal = {J. Symbolic Computation},
  number = {3},
  pages = {277--305},
  title = {Unification of Concepts Terms in Description Logics},
  volume = {31},
  year = {2001},
}