<meta http-equiv="content-type" content="text/html; charset=utf-8"><span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; border-collapse: collapse; color: rgb(51, 51, 51); ">Hi all,<div><br>
</div><div>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?</div>
<div><br></div><div>Thanks for any input.</div><div><br></div><div>Cheers,</div><div>Steve</div></span>