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

Open in new window