[Pellet-users] Error in datavalue property restriction not signaled

[Stefanos Koukoulas]

Hi,

I have defined a hasValue restriction on a functional datatype (xsd:int) 
property in Protege that this property can only take values 0 and 1. 
Then I created an individual of this class and gave some values for 
testing. I noticed that if the values are from -128 to 127 (and of 
course different than 0 or 1) Pellet signals the error, but beyond this 
range the error is not signaled! At the beginning I thought that the 
range of xsd:int is from -128 to 127, but then I read that it has 32 
bits so its range is much broader. Can you tell me what I am doing wrong 
and the reasoner does not signal the error?
I have tested with direct Pellet reasoning inside Protege and with 
Pellet as a stand alone reasoner and the results are always the same.