Re: Inconsistency is not raised dataAllValuesFrom

I think that if you intend to explicitly block use of a property then should make your intention clear by using Nothing. 

Your example is a really interesting one. I do think it's more common for it to be an error (as with unsat classes). 

But, that may partially be an illusion due to the fact that 1) we can easily detect it and 2) lots of prominent examples are obviously bonkers. 

We might want to more regularly close roles. 

Cheers,
Bijan. 

Received on Friday, 26 December 2014 16:10:31 UTC