Computing Least Common Subsumers in Description Logics with Existential Restrictions

Franz Baader, Ralf Küsters, Ralf Molitor. Computing Least Common Subsumers in Description Logics with Existential Restrictions. In Thomas Dean, editor, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages. pages 96-103, Morgan Kaufmann, 1999.

Abstract

Abstract is missing.