Hi<br><br>If you use the completion semantics in a closed world setting then you can use<br>de Morgan laws with negation as failure.<br><br>See:<br><a href="http://en.wikipedia.org/wiki/Negation_as_failure">http://en.wikipedia.org/wiki/Negation_as_failure</a><br>
<br>Abhinav <br><br><div class="gmail_quote">On Wed, Feb 4, 2009 at 9:24 PM, Ankesh Khandelwal <span dir="ltr"><<a href="mailto:ankesh@cs.rpi.edu">ankesh@cs.rpi.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hi,<br>
<br>
My question doesn't directly relate to DL per se, but I thought this would<br>
be an appropriate place to find an answer to the question that I have run<br>
into as I am making efforts to map a rule language to LP.<br>
<br>
Is De Morgan's law valid for Negation As Failure?<br>
(The rule language I am trying to map assumes closed world setting)<br>
<br>
Thanks,<br>
Ankesh<br>
<br>
---<br>
**  You received this mail via the description logic mailing list; for more  **<br>
**  information, visit the description logic homepage at <a href="http://dl.kr.org/" target="_blank">http://dl.kr.org/</a>.  **<br>
</blockquote></div><br><br clear="all"><br>-- <br>Kumar Abhinav<br>EMCL Student <br><br>