Terminological Cycles in a Description Logic with Existential Restrictions

Baader. "Terminological Cycles in a Description Logic with Existential Restrictions." International Joint Conference on Artificial Intelligence, 2003.

[Baader. "Terminological Cycles in a Description Logic with Existential Restrictions." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/baader2003ijcai-terminological/)

@inproceedings{baader2003ijcai-terminological,
  title     = {{Terminological Cycles in a Description Logic with Existential Restrictions}},
  author    = {Baader, Franz},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2003},
  pages     = {325-330},
  url       = {https://mlanthology.org/ijcai/2003/baader2003ijcai-terminological/}
}