Approximating Most Specific Concepts in Description Logics with Existential Restrictions

Ralf Küsters, Ralf Molitor. Approximating Most Specific Concepts in Description Logics with Existential Restrictions. In Franz Baader, Gerhard Brewka, Thomas Eiter, editors, KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings. Volume 2174 of Lecture Notes in Computer Science, pages 33-47, Springer, 2001. [doi]

@inproceedings{KustersM01,
  title = {Approximating Most Specific Concepts in Description Logics with Existential Restrictions},
  author = {Ralf Küsters and Ralf Molitor},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2174/21740033.htm},
  tags = {logic},
  researchr = {https://researchr.org/publication/KustersM01},
  cites = {0},
  citedby = {0},
  pages = {33-47},
  booktitle = {KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  editor = {Franz Baader and Gerhard Brewka and Thomas Eiter},
  volume = {2174},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42612-4},
}