Undecidability of Subsumption in NIKL.

Subsumption-determining whether one concept is more general than another-is known to be NP-hard for all reasonably expressive terminological logics, but, up to now, the decidability of subsumption for terminological logics used in current knowledge representation systems such as NIKL remained unknown. This paper shows that subsumption or classification in NIKL.