[DL] tableau or tableauX ?

[Ian Horrocks]

The difference between tableau and tableaux is that tableau is  
singular and tableaux is plural. Regarding inconsistency of usage, I  
am guilty as charged; in my defence I would like to plead the  
inadequacies of the UK education system, at least w.r.t. English  
grammar.

In fact, when used as an adjective (as in tableau algorithm, or  
tableau decision procedure), I think that the singular form is  
correct (we wouldn't, for example, talk about an apples pie). I think  
that the only time that tableaux is needed is if we are using it as a  
noun and talking about more than one of them. But what would I know :-)

Ian

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.
>
> 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,
> Son
>
>
> 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:
>
> https://dl.kr.org/mailman/listinfo/dl
>
> 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:
>
> https://dl.kr.org/mailman/options/dl/joel32006%40yahoo.com
>
> 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:
>
> letsgo
>
> 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/.  **