W3C home > Mailing lists > Public > public-webont-comments@w3.org > September 2003

Re: a question about reasoner

From: Jim Hendler <hendler@cs.umd.edu>
Date: Wed, 3 Sep 2003 11:34:35 -0400
Message-Id: <p05200f11bb7bb95c18ae@[]>
To: "k" <zhubin@cai.pku.edu.cn>, <public-webont-comments@w3.org>
At 4:35 PM +0800 8/28/03, k wrote:
>   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

This is a hard question to answer, as both rule-based and 
tableaux-based reasoners are being used on OWL (see [1] for a list of 
implementations that we are tracking, and please let us know if 
you're doing one).  As far as dividing reasoning and query - there's 
not really a known best practice yet - some applications combine them 
in a single process, some do separate processes, some don't actually 
differentiate the two, some do.  The WG is also not chartered to make 
specific recommendations about how to process OWL, so we are not 
working as a whole on specifying this -- however, a very good place 
to ask about what people are doing and to get recommendations of good 
practices is on the www-rdf-logic@w3.org mailing list - it is a 
public list on which such discussion is encouraged.

  thanks for your interest in OWL
  Jim Hendler

[1] http://www.w3.org/2001/sw/WebOnt/impls
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  *** 240-277-3388 (Cell)
http://www.cs.umd.edu/users/hendler      *** NOTE CHANGED CELL NUMBER ***
Received on Wednesday, 3 September 2003 11:35:37 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:09:29 UTC