Re: Explain profile acronyms

> 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>
> > 
> > 
> >

Received on Monday, 3 August 2009 18:11:49 UTC