Vol-1576⫷ Vol-1577 ⫸Vol-1578
urn:nbn:de:0074-1577-0


Vol-1577/paper_23⫷Vol-1577/paper_12⫸Vol-1577/paper_48
Sebastian Rudolph

The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics