W3C home > Mailing lists > Public > public-sws-ig@w3.org > June 2007

Re: Planning with Description Logics

From: Yang Fangkai <wolfgang.yang@gmail.com>
Date: Fri, 22 Jun 2007 15:40:30 +0800
Message-ID: <4805531b0706220040u3bb90143y917d43c82f7a0c22@mail.gmail.com>
To: "Carsten Lutz" <clu@tcs.inf.tu-dresden.de>
Cc: public-sws-ig@w3.org
Dear Carsten

       Thanks for pointing to the link. I have read through this paper and
an earlier one written by Baader et al in AAAI05. They are really helpful!

     I haven't read too much about earlier results on planning with DL.  It
seems that in this paper, planning with DL is reduced to DL reasoning, as
Situational Calculus did, and it is claimed that the paper reports the
earliest work on combining DL with action formalism. Could you tell me how
the earlier methods do? Are those only ad-hoc methods in lack of clear
semantics?

     Forgiving me if I am asking silly questions.:)

Best regards,

Fangkai


2007/6/21, Carsten Lutz <clu@tcs.inf.tu-dresden.de>:
>
>
> On Thu, 21 Jun 2007, Yang Fangkai wrote:
> >
> > Dear List,
> >
> >      I am new to the area of planning with description logics. I would
> > like you to recommend some important papers in this area, including both
> the
> > theoretical foundation and practical application. As far as I know, it
> is
> > used in composition of Semantic Web Services?
>
> You may want to take a look at the DL'07 paper of Maja Milicic, see
>
> http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-250/
>
> The only recent paper on DLs and planning that I am aware of.
>
> greetings,
>                Carsten
>
> --
> *      Carsten Lutz, Institut f"ur Theoretische Informatik, TU
> Dresden       *
> *     Office phone:++49 351 46339171   mailto:lutz@tcs.inf.tu-dresden.de
> *
>
>


-- 
Multi-agent System Lab
University of Science and Technology of China
Hefei,  Anhui, 230027
P.R. China

http://wrighteagle.org
Received on Friday, 22 June 2007 07:46:36 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:33:00 UTC