[DL] NAF & De Morgan's Law

abhinav kumar 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:

> Hi,
> 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)
> Thanks,
> Ankesh
> ---
> **  You received this mail via the description logic mailing list; for more
>  **
> **  information, visit the description logic homepage at http://dl.kr.org/.
>  **

Kumar Abhinav
EMCL Student
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20090206/69864e70/attachment.html>

More information about the dl mailing list