- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Tue, 23 Aug 2005 23:41:54 -0400
- 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