W3C home > Mailing lists > Public > www-rdf-logic@w3.org > September 2003

a question about reasoner

From: Zhu Bin <zhubin@cai.pku.edu.cn>
Date: Thu, 4 Sep 2003 10:56:15 +0800
To: <www-rdf-logic@w3.org>
Message-ID: <000101c37290$1ba410e0$930e69a2@minc>

  Rule-based reasoner and tableaux-based reasoner, which is the better
for the reasoning in ontology? Should we divided reasoning and query
into two part in ontology? Thank all.

Best regards,
Zhu Bin
Received on Wednesday, 3 September 2003 22:54:31 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:40 UTC