PREFIX rdfsharp: <https://rdfsharp.codeplex.com/>