| http://www.w3.org/ns/prov#value | - If X and Y both are interfaces, we have to emit a requires relationship and every cast must QI. If X is a class and Y is an interface, we have to implement the interface, which is not as easy as it sounds because it then further depends whether I1 is to be the default interface or not: If Y is the default interface, we can inherit directly, and every cast can just do a normal derived-to-base conve
|
