ML Anthology

Matching Under Side Conditions in Description Logics

Franz Baader, Sebastian Brandt, Ralf Küsters
IJCAI 2001 pp. 213-218
doi:10.25368/2022.112 /ijcai/2001/baader2001ijcai-matching/

Abstract

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 report closes this gap for the DL ALN and its sublanguages.

PDF Semantic Scholar

Cite

Text

Baader et al. "Matching Under Side Conditions in Description Logics." International Joint Conference on Artificial Intelligence, 2001. doi:10.25368/2022.112

Markdown

[Baader et al. "Matching Under Side Conditions in Description Logics." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/baader2001ijcai-matching/) doi:10.25368/2022.112

BibTeX

@inproceedings{baader2001ijcai-matching,
  title     = {{Matching Under Side Conditions in Description Logics}},
  author    = {Baader, Franz and Brandt, Sebastian and Küsters, Ralf},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2001},
  pages     = {213-218},
  doi       = {10.25368/2022.112},
  url       = {https://mlanthology.org/ijcai/2001/baader2001ijcai-matching/}
}