W3C home > Mailing lists > Public > public-rule-workshop-discuss@w3.org > August 2005

Re: Comments on * DRAFT * Rules Working Group Charter $Revision: 1.60 $

From: Jim Hendler <hendler@cs.umd.edu>
Date: Tue, 23 Aug 2005 23:41:54 -0400
Message-Id: <p06230929bf319bd380e3@[]>
To: Dieter Fensel <dieter.fensel@deri.org>, public-rule-workshop-discuss@w3.org

Dieter wrote:

>On the other hand, it is not that difficult to identify something 
>around Horn logic
>with a minimal model as common ground of state of the art rule languages.

Mike wrote:

>The only rule language that FOL is a superset of (modulo a mapping) is SWRL
>- an untested newcomer. And of Horn Datalog, which is near-useless. All the
>real rule-based languages don't map into FOL AFAIK.

Am I the only one confused?  Why is "Horn logic with a minimal model" 
so preferable to "Horn Datalog"?
Professor James Hendler			  Director
Joint Institute for Knowledge Discovery	  	  301-405-2696
UMIACS, Univ of Maryland			  301-314-9734 (Fax)
College Park, MD 20742	 		  http://www.cs.umd.edu/users/~hendler
Received on Wednesday, 24 August 2005 03:42:18 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 19:48:33 UTC