whelk
whelk copied to clipboard
transform DisjointUnion to DisjointWith
Currently DisjointUnion doesn't provide any inferences, but it does with ELK 0.6.0.