| http://www.w3.org/ns/prov#value | - If complement is excluded from the list of permissible operations, this is generally safe; if you allow complement (i.e. Type A is defined as any object not in either types B or C), many type judgements become intractable or undecideable.
|
