<br><br><br>  "Tableaux" is plural; "tableau" is singular. In French. There is no other difference.<br><br><br>-- <br>Fernando Náufel, D.Sc.<br><a href="mailto:fnaufel@ic.uff.br">fnaufel@ic.uff.br</a><br>

<br>Professor Adjunto (Associate Professor)<br>Ciência da Computação (Computer Science)<br>DCT - Depto. de Ciência e Tecnologia<br>PURO - Pólo Universitário de Rio das Ostras<br>UFF - Universidade Federal Fluminense<br>--

<br><br><div><span class="gmail_quote">On 4/18/07, <b class="gmail_sendername">Son LeThanh</b> <<a href="mailto:joel32006@yahoo.com">joel32006@yahoo.com</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">

Hi all, 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. 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"

- "A tableau algorithm for SHOIQ" - "the tableau algorithm" - "The tableauX expansion rules for SHIQ" - "Tableau systems for SHIO and SHIQ." 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><a href="mailto:dl-request@dl.kr.org" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">dl-request@dl.kr.org</a></i>

</b> wrote:<blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"> Welcome to

 the <a href="mailto:dl@dl.kr.org" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">dl@dl.kr.org</a> 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>  <a href="https://dl.kr.org/mailman/listinfo/dl" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">https://dl.kr.org/mailman/listinfo/dl</a><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>  <a href="https://dl.kr.org/mailman/options/dl/joel32006%40yahoo.com" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">

https://dl.kr.org/mailman/options/dl/joel32006%40yahoo.com</a><br><br>You can also make such adjustments via email by sending a message to:<br><br>  <a href="mailto:dl-request@dl.kr.org" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">

dl-request@dl.kr.org</a><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 <a href="http://dl.kr.org" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">dl.kr.org

</a> 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><span class="ad"><br><p> 

      </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-" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">

new cars at Yahoo! Autos.</a>

<p></p></span><br>---<br>**  You received this mail via the description logic mailing list; for more  **<br>**  information, visit the description logic homepage at <a onclick="return top.js.OpenExtLink(window,event,this)" href="http://dl.kr.org/" target="_blank">

http://dl.kr.org/</a>.  **<br><br></blockquote></div><br><br clear="all"><br>