Unification of Concept Terms in Description Logics

Franz BaaderFranz Baader, P. NarendranP. Narendran

Datei:Baader-Narendran-DL-97.ps.gz

Download

Franz Baader, P. Narendran
Unification of Concept Terms in Description Logics
Proceedings of the International Workshop on Description Logics, DL'97, 34-38, 1997. LRI, Universitè PARIS-SUD, Cente d'Orsay

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 substitute 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

@inproceedings{ Baader-Narendran-DL-97,
  author = {F. {Baader} and P. {Narendran}},
  booktitle = {Proceedings of the International Workshop on Description Logics, {DL'97}},
  pages = {34--38},
  publisher = {LRI, Universit\`e PARIS-SUD, Cente d'Orsay},
  title = {Unification of Concept Terms in Description Logics},
  year = {1997},
}