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.htmlReceived on Thursday, 11 September 2003 21:31:00 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:47 GMT