PREFIX bk: <http://www.provbook.org/ns/#>