broken link in Overview: dl.kr.org

The last reference in Overview includes a link to the "Description
Logics Home Page" as dl.kr.org, but that host is no longer in the DNS.
Do you have a replacement candidate, or shall I just remove the link?

       -- sandro

Received on Sunday, 7 December 2003 00:21:01 UTC