KRaider: A crawler for linked data