Re: Explain profile acronyms

This seems like a good compromise.

I have made the relevant changes. The diff is:

http://www.w3.org/2007/OWL/wiki/index.php? 
title=Profiles&diff=25048&oldid=24645

Regards,
Ian


On 4 Aug 2009, at 10:59, Uli Sattler wrote:

>
> On 3 Aug 2009, at 21:51, Pascal Hitzler wrote:
>
>> I would really stick to the real/historic explanation (EL family).
>
> we could also add "which is called EL because it is a *l*anguage  
> (or *l*logic) that only provides *e*xistential quantification of  
> variables."? Cheers, Uli
>
>> I understand that it's not directly helpful, but at least it  
>> becomes clear that there is some reason to it - and in case  
>> somebody wants to read up on it on the DL literature, he's not  
>> lost in the DL acronyms ...
>>
>> In fact I'll add this to the primer as soon as the wiki is  
>> accessible again (it currently seems to be down...)
>>
>> Pascal.
>>
>>
>> Sandro Hawke wrote:
>>>> I certainly see no problem with adding some minor explanatory text
>>>> along these lines.
>>> It seems good to me, too, except for the EL explanation.  The  
>>> reference
>>> to EL++ doesn't help anyone.  (If you know about EL++, you don't  
>>> need
>>> the explanation; if you don't know about EL++, then knowing the
>>> association doesn't help.)
>>> So where does the "E" come from?  I guess it's from "Existential
>>> Restrictions"...  That doesn't help very much here.  Maybe we can
>>> propose a mnemonic?  "Extensive", "Efficient", "Easy", "Economical",
>>> "Enormous", "Elephantine"...  :-)
>>> Maybe something like:
>>>   - The EL profile was orginally named for its use of Existential
>>>     restrictions, but for a mnemonic, we note that it supports
>>>     Efficient reasoning, even with Enormous ontologies.
>>> ... or something like that.
>>>     -- Sandro
>>>> From: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
>>>> Subject: Re: Explain profile acronyms
>>>> Date: Mon, 3 Aug 2009 11:40:57 -0500
>>>>
>>>>> IMHO this is a not completely unreasonable request. I would  
>>>>> propose  to respond by adding to the Introduction of Profiles:
>>>>>
>>>>> * brief explanations of the acronyms, namely:
>>>>>   - The EL acronym reflects the profile's basis in the EL  
>>>>> family of  description logics [EL++].
>>>>>   - The QL acronym reflects the fact that query answering in  
>>>>> this  profile can implemented by rewriting queries into a  
>>>>> standard  relational Query Language.
>>>>>   - The RL acronym reflects the fact that reasoning in this  
>>>>> profile  can be implemented using a standard Rule Language.
>>>>> * the statement "Note that each of the profiles is a (strict)   
>>>>> syntactic subset of OWL DL, but none of the profiles is a  
>>>>> subset of  another."
>>>>>
>>>>> Comments and/or other suggestions?
>>>>>
>>>>> Ian
>>>>>
>>>>>
>>>>>> From: Gioele Barabucci <barabucc@cs.unibo.it>
>>>>>> Date: Mon, 20 Jul 2009 14:54:08 +0200
>>>>>> To: public-owl-comments@w3.org
>>>>>> Message-ID: <20090720125407.GA32507@cs.unibo.it>
>>>>>>
>>>>>> Hello,
>>>>>>
>>>>>> could you please document the meaning of the EL, QL and DL  
>>>>>> acronyms in
>>>>>> the overview section of owl2-profiles and other OWL 2 documents?
>>>>>>
>>>>>> Also, could you explicitly state whether an OWL 2 profile is a  
>>>>>> strict
>>>>>> subset of another?
>>>>>>
>>>>>> Regards,
>>>>>>
>>>>>> -- 
>>>>>> Gioele Barabucci <barabucc@cs.unibo.it>
>>>>>
>>>>>
>>
>> -- 
>> PD Dr. Pascal Hitzler
>> pascal@pascal-hitzler.de   http://www.pascal-hitzler.de
>> Semantic Web Textbook: http://www.semantic-web-book.org
>>
>>
>

Received on Tuesday, 4 August 2009 10:56:25 UTC