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 Thursday, 11 September 2003 21:31:00 UTC