Describir: Type-safe programming for the semantic web / Martin Leinberger.