RE: a question about reasoner

"Description Logic Programs" can convert OWL to RuleML, can it only
convert a subset of OWL Descriptions or not? Or in the future can it
implement this completely?

-----Original Message-----
From: www-rdf-logic-request@w3.org [mailto:www-rdf-logic-request@w3.org]
On Behalf Of Zhu Bin
Sent: 2003年9月12日 9:33
To: www-rdf-logic@w3.org
Subject: RE: a question about reasoner


Oh, I'm very sorry, I am wrong with the name.
I have visited the DLP's(Description Logic Prover) website, but I find
another "DLP", it is developed by KAON, it is for "Description Logic
Programs", it can convert OWL file to RuleML file. On this link:
http://kaon.semanticweb.org/owl How about that? 

Thank all.

-----Original Message-----
From: www-rdf-logic-request@w3.org [mailto:www-rdf-logic-request@w3.org]
On Behalf Of Peter Crowther
Sent: 2003年9月11日 21:24
To: www-rdf-logic@w3.org
Subject: RE: a question about reasoner


> From: Zhu Bin [mailto:zhubin@cai.pku.edu.cn]
> Is DLP a rule-based reasoner? Thanks all.

No.

Further details from various sources; [1] is probably a good place to
start.

		- Peter

[1] http://citeseer.nj.nec.com/patel-schneider99dlp.html

Received on Friday, 12 September 2003 04:28:58 UTC