<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
<title></title>
</head>
<body bgcolor="#ffffff" text="#000000">
The actual difference is that "tableaux" is plural and "tableau" is
singular (it's a french word, and means "table").<br>
And I agree, there should be some consistency in using either version,
but there is no common agreement or rule on this, as far as I know.<br>
<br>
Christel<br>
<br>
Son LeThanh wrote:
<blockquote cite="mid395225.64217.qm@web56210.mail.re3.yahoo.com"
type="cite">
<meta http-equiv="Context-Type"
content="text/html; charset=iso-8859-1">
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> 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>
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 size="4" width="90%">
---
** 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>
<br>
<pre class="moz-signature" cols="72">--
Dr. Christel Kemke
Department of Computer Science
University of Manitoba
Winnipeg, Manitoba R3T 2N2, Canada
office: E2-412 EITC Building
phone: +1 (204) 474-8674 / 474-8313
fax: +1 (204) 474-7609
e-mail: <a class="moz-txt-link-abbreviated" href="mailto:ckemke@cs.umanitoba.ca">ckemke@cs.umanitoba.ca</a>
home page: <a class="moz-txt-link-freetext" href="http://www.cs.umanitoba.ca/~ckemke">http://www.cs.umanitoba.ca/~ckemke</a>
This email is only intended for the person to whom it is addressed and may contain
confidential information. If you have received this email in error, please notify
the sender and delete this email which must not be copied, distributed or disclosed
to any other person. </pre>
</body>
</html>