Schmidt-Schau\ss , M. (1988): Subsumption in KL-One is Undecidable

Title:	Subsumption in KL-One is Undecidable
Author(s):	Schmidt-Schau\ss , M.
Year:	1988
Number:	SEKI-Report SR-88-14

Concepts