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