Reasoning in a Closed Terminology

François Rousselot, François de Bertrand de Beuvron, Michael Schlick, David Rudloff. Reasoning in a Closed Terminology. In Patrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, Peter F. Patel-Schneider, editors, Proceedings of the 1999 International Workshop on Description Logics (DL 99), Linköping, Sweden, July 30 - August 1, 1999. Volume 22 of CEUR Workshop Proceedings, CEUR-WS.org, 1999. [doi]

Abstract

Abstract is missing.