[DL] tableau or tableauX ?
sattler at cs.man.ac.uk
Fri Apr 20 13:09:52 CEST 2007
On 18 Apr 2007, at 09:14, Son LeThanh wrote:
> 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.
your question is not silly at all - and I admit that we haven't
always been consistent in the usage of these 2 terms. In general,
since "tableau" is french, "tableaux" is plural, and they are both
pronounced in exactly the same way, i.e., the "x" is silent. Now we
could think of a tableaux algorithm/expansion rules/etc. as an
algorithm/rules/etc. that uses/expands one or several tableau"s". Or
we could think of tableau algorithm/expansion rules/etc. as an
algorithm/rules/etc. that is based on the notion of a tableau...
Recently, I tried to be a bit more consistent in the usage of this
"x", but I think there are no general rules to it (apart from the
This problem is also considered elsewhere: for example, on the
discussion page of http://en.wikipedia.org/wiki/
Method_of_analytic_tableaux you find:
"The method is usually called (Semantic or Analytic) Tableaux (from
French?) as the Title also indicates. In the body of the page though
it is called Tableau. Should that be updated? DRap 09:09, 9 January
Yes, the word originally entered English via French. "Tableaux" is
plural (in both English and French, "Tableaus" is an alternative
English plural, but rarely used, and, to my knowledge, never in this
context), "Tableau" is singular. To add to the confusion, to my
German ear, they both sound exactly the same ;-). --Stephan Schulz
09:20, 9 January 2007 (UTC)
Yes, perhaps we could clarify? You will often see in the article 'a
tableau' and this should be made distinct from 'the tableaux' (is the
'x' silent?). I have seen it reffered to both as semantic tableaux
and tableau, but don't which would be more appropriate here
188.8.131.52 04:32, 16 January 2007 (UTC) Kris Micinski "
> For example, in the paper "A Tableaux Decision Procedure for SHOIQ"
> of Horrock et al., there are phrases:
> - "a tableauX decision procedure"
> - "design of tableauX algorithms"
> - "the SHIQ tableauX algorithm"
> - "The SHOIQ tableau algorithm"
> - "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.
> Thank you very much for your help.
> Best regards,
> dl-request at dl.kr.org wrote: Welcome to the dl at dl.kr.org mailing list!
> To post to this list, send your email to:
> General information about the mailing list is at:
> If you ever want to unsubscribe or change your options (eg, switch to
> or from digest mode, change your password, etc.), visit your
> subscription page at:
> You can also make such adjustments via email by sending a message to:
> dl-request at dl.kr.org
> with the word `help' in the subject or body (don't include the
> quotes), and you will get back a message with instructions.
> You must know your password to change your options (including changing
> the password, itself) or to unsubscribe. It is:
> Normally, Mailman will remind you of your dl.kr.org mailing list
> passwords once every month, although you can disable this if you
> prefer. This reminder will also include instructions on how to
> unsubscribe or change your account options. There is also a button on
> your options page that will email your current password to you.
> Ahhh...imagining that irresistible "new car" smell?
> Check out new cars at Yahoo! Autos.
> ** You received this mail via the description logic mailing list;
> for more **
> ** information, visit the description logic homepage at http://
> dl.kr.org/. **
sattler at cs.man.ac.uk
More information about the dl