Reflexitivity

[alexandretessarollo]

When it comes to reflexive relations, mill should expect only one of the reflexive pair to be on the file, not both.

For instance, if A is hyper:B, we should have 1 or 2, but not 3.

1) 


w: A
d: xxxxx
hyper: B

w: B
d: yyyyyy

2)  w: A
d: xxxxx

w: B
d: yyyyyy
hypo: A

3) w: A
d: xxxxx
hyper: B

w: B
d: yyyyyy
hypo: A

Should mill detect 3, it should raise a warning - it is not an error.

This applies to reflexive relations such as hyper/hypo, mp/hp, etc.

This issue is probably related to issue 6.

[odanoburu]

this kind of non-local check is bound to be expensive in terms of time, and a bit difficult to implement in a systematic way; I'd think it better be run not very often, and can be easily implemented by a SPARQL query (which is what I'd lean to)