Matching under Side Conditions in Description Logics

From International Center for Computational Logic

Toggle side column

Matching under Side Conditions in Description Logics

Franz BaaderFranz Baader,  S. BrandtS. Brandt,  R. KüstersR. Küsters
Matching under Side Conditions in Description Logics


Franz Baader, S. Brandt, R. Küsters
Matching under Side Conditions in Description Logics
In B. Nebel, eds., Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI'01, 213-218, 2001. Morgan Kaufmann
  • KurzfassungAbstract
    Whereas matching in Description Logics is now relatively well-investigated, there are only very few formal results on matching under additional side conditions, though these side conditions were already present in the original paper by Borgida and McGuinness introducing matching in DLs. The present paper closes this gap for sublanguages of the DL ALN.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ BaaderBrandtKuesters-IJCAI,
  address = {Seattle, Washington},
  author = {F. {Baader} and S. {Brandt} and R. {K{\"u}sters}},
  booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, {IJCAI'01}},
  editor = {B. {Nebel}},
  pages = {213--218},
  publisher = {Morgan Kaufmann},
  title = {Matching under Side Conditions in Description Logics},
  year = {2001},
}