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