Re: Proposal to resolve Issue-108

> I wasn't at the F2F, so this is only my understanding of the  
> abbreviations:
> DL ... Description Logic
> EL ... This is the name of the DL on which the fragment is based  
> (there, E stands for a DL construct called qualified *E*xistential  
> Quantification)
> QL ... Query Language, I guess, although I do not understand the  
> rationale behind this
> RL ... Rule Language
> XL ... eXtended Language ???

The proposal is that they don't exactly stand for anything, but that
the letter is chosen to be a somewhat suggestive mnemonic, and we
acknowledge that's all it is.

The mnemonic behind "Q" is indeed query, since that language is
engineered (as I understand it -- which is not very much) to be the
fragment of DL that can be implemented by rewriting SQL queries.

The notion behind "X" is that the language is both extra-large and kind
of extreme in several ways.

More conservative terms would be CL instead of QL and FL instead of XL.
They're more conservative because they're in the more common part of the
alphabet.  I'm not sure what the "C" would stand for; FL is obviously
"Full".  And it keeps them all in the range C,D,E,F (and R).

     -- Sandro

Received on Friday, 1 August 2008 04:54:08 UTC