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 UTC