[DL] Horn clauses and DLs

Rodrigo de Salvo Braz braz at uiuc.edu
Tue Sep 28 20:52:01 CEST 2004

Hello all,

Although Horn clauses is different from DLs in several manners,
even historically, I would like to ask this list if in terms of the
expressivity/efficiency tradeoff it could be considered in the same region
as DLs.

Putting the question in another way: one of the goals of DLs is to avoid
the complexity of FOL. Different DLs do that in different ways, stressing
different constructs etc. Do you consider Horn clauses to do just that, or
is it somehow still too close to FOL from a DL point of view?



More information about the dl mailing list