doas	http://deductions.github.io/doas.owl.ttl#