[Pellet-users] One bug and one strange observation -- please help

[Sebastian Brandt]

Hello there,

I am using Pellet to evaluate DL queries in a JAVA program. In this  
context, I have observed that Pellet answers some queries incorrectly.  
I would be glad to get some feedback, maybe I am using Pellet in the  
wrong way. I have prepared a tiny ontology and some screenshots of the  
DL query pane in Protege 4 to demonstrate the problems. There are two  
queries for which, it seems to me, Pellet does not evaluate the query  
correctly:

In my ontology, there's a class B, subclass of Thing, that doesn't  
have any additional information asserted on it (or inferred either).  
The first query asks for super classes of the class expression

   (B and hasInt some int),

where hasInt is a datatype property and int the OWL datatype. FaCT++  
correctly returns B as a super class but Pellet doesn't. I am sure  
this is not as it should be. The following pictures show first the  
output of FaCT++ (Picture 8) and then the output of Pellet (Picture 9)  
in the Protege DL query pane.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Picture 8.png
Type: image/png
Size: 25855 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080407/faf14d41/attachment-0004.png 
-------------- next part --------------
  
   
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Picture 9.png
Type: image/png
Size: 25424 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080407/faf14d41/attachment-0005.png 
-------------- next part --------------



The second query asks for equivalent classes of B and super classes of  
B. The first picture (Picture 6) shows the answer given by FaCT++: B  
is equivalent to B and Thing is a super class. Pellet (Picture-7) does  
not find B as an equivalent class of B. Is this intentionally left out  
(i.e., interpreting the query as: any class equivalent to BUT  
DIFFERENT FROM class B)?

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Picture 6.png
Type: image/png
Size: 24676 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080407/faf14d41/attachment-0006.png 
-------------- next part --------------
  
  
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Picture 7.png
Type: image/png
Size: 24304 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080407/faf14d41/attachment-0007.png 
-------------- next part --------------


I have attached the ontology to this email although the example is so  
simple it might be easier for you to add a new subclass of Thing and a  
datatype property to any other ontology. Any hints as to why this is  
as it is are greatly appreciated. Thanks a lot for your help. Sebastian.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: nums.owl
Type: application/octet-stream
Size: 5077 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080407/faf14d41/attachment-0001.obj 
-------------- next part --------------