I am a newbie in Protege so forgive me if this question is stupid, :)
My problem is this:
If I create an integer datatype property dpand restrict its values on a class Cl like:
Cl.dp > 10 and Cl.dp < 5
is there a way or plugin that can tell that this is impossible?
In other words the restricted ranges ( dp > 10 and dp < 5) have a null intersection of their value spaces. Is there a way to detect that there is a null intersection between the ranges of datatype properties with Pellet or some other plugin? Or that the intersection between 2 ranges is equal to one of them (Ex: dp > 5 and dp > 10, the intersection is equal to dp>10)?
What about other XML datatypes, strings for example?
Thanks