a question about reasoner

From: Zhu Bin <zhubin@cai.pku.edu.cn>
Date: Fri, 4 Jul 2003 10:54:56 +0800
To: <www-rdf-logic@w3.org>
Message-ID: <000001c341d7$ac746870$930e69a2@minc>

Hi,
  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:53:22 UTC