@prefix doas: <http://deductions.github.io/doas.owl.ttl#>.