[Pellet-users] possible pellet bug involving the owl api and floats

[Timothy Redmond]

I think that I have found a bug in pellet that only occurs when using
the owl api.  In the ontology float.owl, I believe that the individual
"a" should be inferred to be in the class "B".  In  fact if I run pellet
from the command line I get the following output:

--- --- --- ---

[tredmond at smi-tredmond-li pellet-1.5.2]$ sh pellet.sh  -r -c -if
~/Shared/code/Test.p4/ontologies/float.owl
Input file: file:/home/tredmond/Shared/code/Test.p4/ontologies/float.owl
OWL Species: Lite
DL Expressivity: ALC(D)
Consistent: Yes
Time: 1316 ms (Loading: 1246 Species Validation: 36 Consistency: 19
Classification: 14 Realization: 1 )

Classification:

owl:Thing
    classification_safety_reports:A
       classification_safety_reports:B -
(classification_safety_reports:a)


[tredmond at smi-tredmond-li pellet-1.5.2]$


--- --- --- ---

Good enough - this is what I expect and it rules out things like a
stupid syntax error on my part.  But then I run the test program below I
don't seem to get the same result.  The individual "a" is not classified
to be in the class "B".  I used the baseline ontology to make sure that
I was using the pellet reasoner correctly and it seems like I am.

The test  program that I am sending expects to find the two ontologies
in a directory  called "ontologies".  Other than that I figure it will
just run in your  environment

-Timothy

-------------- next part --------------
A non-text attachment was scrubbed...
Name: baseline.owl
Type: application/octet-stream
Size: 1350 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080531/27ed6830/attachment.obj 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: float.owl
Type: application/octet-stream
Size: 1380 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080531/27ed6830/attachment-0001.obj 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Test01.java
Type: application/octet-stream
Size: 3324 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080531/27ed6830/attachment-0002.obj 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: log4j.xml
Type: text/xml
Size: 762 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080531/27ed6830/attachment.bin