[DL] Decision problems of DL vs. FOL

[Steve W]

Hi all,

According to the Wikipedia article on DL, it says that the decision problems
are more efficient than those of FOL. Are DL decision problems not
equivalent to those in FOL? For example, isn't subsumption checking
equivalent to checking implication? Is instance checking not equivalent to
evaluating the truth value of a predicate given a constant? Assuming what I
said is correct, then do all decision problems of DL have an equivalent form
in FOL? Which problems of FOL are not supported by DL?

Thanks for any input.

Cheers,
Steve
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20100530/9d229685/attachment.htm>