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>


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?


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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:05:12 UTC