[Pellet-users] numeric subsumption

[sjtirtha]

Hi,

I have a problem with numeric subsumption based on OWL 1.1. I defined some
classes of Dimension, that have length, width, and height.
Than I subsumed these classes to get the class hierarchy. For example
Dim123 means Dimension with height:1, width: 2, Length: 3.
Dim245 should be actually subclass of Dim346. But since the width of both
classes are same. Pellet reasoner doesn't assume Dim245 as subclass of
Dim346.
>From the logic I think Dim245 should be subclass of Dim346, because it is
smaller than Dim346. Maybe in description language is the the definition of
subclass is different.
I send also the OWL file.

Regards,

Steve
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070604/932fed7c/attachment-0001.htm 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: csp1.1.owl
Type: text/xml
Size: 46328 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20070604/932fed7c/attachment-0001.bin