[DL] NAF & De Morgan's Law
abhinav.vit at gmail.com
Fri Feb 6 12:38:28 CET 2009
If you use the completion semantics in a closed world setting then you can
de Morgan laws with negation as failure.
On Wed, Feb 4, 2009 at 9:24 PM, Ankesh Khandelwal <ankesh at cs.rpi.edu> wrote:
> My question doesn't directly relate to DL per se, but I thought this would
> be an appropriate place to find an answer to the question that I have run
> into as I am making efforts to map a rule language to LP.
> Is De Morgan's law valid for Negation As Failure?
> (The rule language I am trying to map assumes closed world setting)
> ** You received this mail via the description logic mailing list; for more
> ** information, visit the description logic homepage at http://dl.kr.org/.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the dl