Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics.

Sebastian Rudolph

Browse the full KR paper archive.