[DL] NAF & De Morgan's Law

[abhinav kumar]

Hi

If you use the completion semantics in a closed world setting then you can
use
de Morgan laws with negation as failure.

See:
http://en.wikipedia.org/wiki/Negation_as_failure

Abhinav

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: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20090206/69864e70/attachment.htm>