[Pellet-users] datatypes reasoning complexity

[abdelhak attou]

Hi 

 

 

I was reading  "From Wine to Water: Optimizing Description Logic Reasoning
for Nominals" 

Evren Sirin, Bernardo Cuenca Grau and Bijan Parsia

 

 

It says there that axioms such as:   are expensive in terms of DL  reasoning
 (follows is an object property and pope is an instance)

 

My question is:   is the axiom :  , where follows is a Datatype and pope is
a string as expensive in terms of reasoning ?

 

What about     (pope is a class here)

 

Is there a reference that discusses  datatypes reasoning complexity in DL
reasoners 

 

Best Reagrds 

 

 

Abdelhak Attou

PhD Student

Centre For Commincation systems Research

University of Surrey

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080430/fa6b1319/attachment.htm 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/x-ms-wmz
Size: 360 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080430/fa6b1319/attachment.wmz 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/gif
Size: 410 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080430/fa6b1319/attachment.gif 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/x-ms-wmz
Size: 376 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080430/fa6b1319/attachment-0001.wmz 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/gif
Size: 396 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080430/fa6b1319/attachment-0001.gif 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/x-ms-wmz
Size: 370 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080430/fa6b1319/attachment-0002.wmz 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/gif
Size: 402 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080430/fa6b1319/attachment-0002.gif 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/octet-stream
Size: 1723 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080430/fa6b1319/attachment.obj