W3C home > Mailing lists > Public > www-ws@w3.org > September 2003

why can't describe the semantic of DAML-S by Description Logic

From: lsp <lsp@is.pku.edu.cn>
Date: Tue, 2 Sep 2003 21:07:49 +0800
To: <www-ws@w3.org>
Message-ID: <000201c37153$362933c0$ab4669a2@tcl.is.pku.edu.cn>


Hi,

There have papers describing the semantic of DAML-S using situation
calculus, Petri net, operational semantics. But since DAML is naturally
described by Description Logic and DAML-S is just ontology for service,
why can't we describe DAML-S by DL?

Any idea?

Thanks!

Liu Shengping
Peking University
Received on Tuesday, 2 September 2003 09:14:14 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 3 July 2007 12:25:44 GMT