Re: OWL Lite semantics

here is a bit more than i gave earlier a few of the places working on dls in the
70s and 80s.

your search for description logics on google was thwarted because description
logics have had a few names.
kl-one-like systems/languages, term subsumption languages, and  terminological
logics were used for a while.

the best source on DLs is the web page

http://dl.kr.org.

from there you can get to a listing of the history of the workshops from 1980 on
http://dl.kr.org/workshops/index.html
with the first one that actually had description logics in the name being  in
1992  co-located with kr'92 in boston.

another good source on dls is the handbook of dl -
http://books.cambridge.org/0521781760.htm

another good source on dls is the dl reference index from patrick lambrix's
pages - http://www.ida.liu.se/labs/iislab/people/patla/DL/references.html
which is searchable from
http://www.ida.liu.se/labs/iislab/people/patla/DL/form.html

while it is not totally complete, it is not bad at coverage.

also, a partial list of dl researchers is up at:
http://www.ida.liu.se/labs/iislab/people/patla/DL/researchers.html

and an outdated list of some dl systems is up at:
http://www.ida.liu.se/labs/iislab/people/patla/DL/systems.html

hopefully this helps.

deborah

pat hayes wrote:

> >From: pat hayes <phayes@ai.uwf.edu>
> >Subject: Re: OWL Lite semantics
> >Date: Tue, 10 Dec 2002 09:34:24 -0600
> >
> >[...]
> >
> >>  OK, I didnt mean to start this old argument up again, but just to set
> >>  the record straight.  [...]  It just
> >>  seems to make more sense to base something this large-scale on
> >>  foundations that go back 60 years than ones that go back about a
> >>  decade and start in Bell Labs.
> >
> >If we are going to set the record straight, lets at least base it in
> >reality.  Description logics as a field go back 25 years, not 10, and
> >didn't start in Bell Labs.  Bell Labs has never even been the dominant
> >player in the field.
>
> OK, if you want to go all the way back to roots, then I can take
> logic back to Frege and Peirce, giving it more like 120 years than
> 60. I was dating it from the deployment of CLASSIC, which I think of
> as the first real DL. The papers you cite are prehistory for DLs, not
> origins.
>
> BTW, I did a Google search and the earliest date I can find
> associated with the term is 1996, at a workshop that you helped
> organize. So OK, I should have said 15 years, not a decade.
>
> I am surprised to hear that Bell wasn't the dominant player, though.
> I guess I associate Ron, you, Alex and and Deb all with DLs at Bell,
> and have always though of that as something of an axis. Where would
> you locate the dominant players? (Genuine question)
>
> Pat
>
> >Peter F. Patel-Schneider
> >Bell Labs Research
> >
> >
> >@PhDThesis{brachman:thesis,
> >  title=               "A Structural Paradigm for Representing Knowledge",
> >  author=      "Brachman, R. J.",
> >  school=      "Harvard University",
> >  year=                "1977",
> >  address=     "Cambridge, MA",
> >  note=                "Revised version published as BBN Report No.~3605,
> >                Bolt Beranek and Newman, Inc., Cambridge, MA, July, 1978."}
> >
> >Written when Ron was a student at Harvard and/or working for BBN.
> >
> >@InProceedings{brachman-levesque:tractability,
> >  title=               "The Tractability of Subsumption in Frame-Based
> >                Description Languages",
> >  author=      "Brachman, Ronald J. and Levesque, Hector J.",
> >  crossref=    "aaai84",
> >  pages=               "34--37"}
> >
> >Written when both Ron and Hector were working for Fairchild/Schlumberger.
>
> --
> ---------------------------------------------------------------------
> IHMC                                    (850)434 8903   home
> 40 South Alcaniz St.                    (850)202 4416   office
> Pensacola                               (850)202 4440   fax
> FL 32501                                        (850)291 0667    cell
> phayes@ai.uwf.edu                 http://www.coginst.uwf.edu/~phayes
> s.pam@ai.uwf.edu   for spam

--
 Deborah L. McGuinness
 Knowledge Systems Laboratory
 Gates Computer Science Building, 2A Room 241
 Stanford University, Stanford, CA 94305-9020
 email: dlm@ksl.stanford.edu
 URL: http://ksl.stanford.edu/people/dlm
 (voice) 650 723 9770    (stanford fax) 650 725 5850   (computer fax)  801 705
0941

Received on Tuesday, 10 December 2002 14:26:10 UTC