I ran [verify.py](https://github.com/ucoProject/Verifier/blob/master/src/verify.py) against all the examples in this directory, and got verification issues (terms not in `case.ttl`) with these files: * `bz2.{json,ttl,xml}` * `lvm.{json,ttl}` * `tsk_volume_system.{json,ttl}`