Hi all,<br><br>Maybe my question is considered silly, but I hope that DL community can explain me what is the difference between the word "tableau" and "tableauX" and how to use them.<br><br>For example, in the paper "A Tableaux Decision Procedure for SHOIQ" of Horrock et al., there are phrases:<br><br>- "a tableauX decision procedure"<br>- "design of tableauX algorithms"<br>- "the SHIQ tableauX algorithm"<br>- "The SHOIQ tableau algorithm"<br>- "a tableauX algorithm for SHOIQ"<br>- "A tableau algorithm for SHOIQ"<br>- "the tableau algorithm"<br>- "The tableauX expansion rules for SHIQ"<br>- "Tableau systems for SHIO and SHIQ."<br><br>If there is no difference between these words, I think there should be a consistency in using words.<br><br>Thank you very much for your help.<br>Best regards,<br>Son<br><br><br><b><i>dl-request@dl.kr.org</i></b> wrote:<blockquote class="replbq" style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"> Welcome to
 the dl@dl.kr.org mailing list!<br><br>To post to this list, send your email to:<br><br><br><br>General information about the mailing list is at:<br><br>  https://dl.kr.org/mailman/listinfo/dl<br><br>If you ever want to unsubscribe or change your options (eg, switch to<br>or from digest mode, change your password, etc.), visit your<br>subscription page at:<br><br>  https://dl.kr.org/mailman/options/dl/joel32006%40yahoo.com<br><br>You can also make such adjustments via email by sending a message to:<br><br>  dl-request@dl.kr.org<br><br>with the word `help' in the subject or body (don't include the<br>quotes), and you will get back a message with instructions.<br><br>You must know your password to change your options (including changing<br>the password, itself) or to unsubscribe.  It is:<br><br>  letsgo<br><br>Normally, Mailman will remind you of your dl.kr.org mailing list<br>passwords once every month, although you can disable this if you<br>prefer.  This reminder will also
 include instructions on how to<br>unsubscribe or change your account options.  There is also a button on<br>your options page that will email your current password to you.<br></blockquote><br><p>

      <hr size=1>Ahhh...imagining that irresistible "new car" smell?<br> Check out
<a href="http://us.rd.yahoo.com/evt=48245/*http://autos.yahoo.com/new_cars.html;_ylc=X3oDMTE1YW1jcXJ2BF9TAzk3MTA3MDc2BHNlYwNtYWlsdGFncwRzbGsDbmV3LWNhcnM-">new cars at Yahoo! Autos.</a>