<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html;charset=ISO-8859-1">
<title></title>
</head>
<body text="#000000" bgcolor="#ffffff">
<tt>bonjour,<br>
tableau is a French word,<br>
two usual translations of "tableau" are "table" and "blackboard",<br>
"X" indicates the plural of the word,<br>
sometimes people use the plural "tableaux" and sometimes not,<br>
there is (as far as I know) no difference between the two words,<br>
bye,<br>
Amedeo<br>
<br>
<br>
</tt><br>
Son LeThanh wrote:<br>
<blockquote type="cite"
cite="mid395225.64217.qm@web56210.mail.re3.yahoo.com">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><a class="moz-txt-link-abbreviated" href="mailto:dl-request@dl.kr.org">dl-request@dl.kr.org</a></i></b> wrote:
<blockquote class="replbq"
style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;">
Welcome to the <a class="moz-txt-link-abbreviated" href="mailto:dl@dl.kr.org">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 class="moz-txt-link-freetext" href="https://dl.kr.org/mailman/listinfo/dl">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 class="moz-txt-link-freetext" href="https://dl.kr.org/mailman/options/dl/joel32006%40yahoo.com">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 class="moz-txt-link-abbreviated" href="mailto:dl-request@dl.kr.org">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 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> </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>
<pre wrap="">
<hr width="90%" size="4">
---
** You received this mail via the description logic mailing list; for more **
** information, visit the description logic homepage at <a class="moz-txt-link-freetext" href="http://dl.kr.org/">http://dl.kr.org/</a>. **
</pre>
</blockquote>
</body>
</html>