[Fwd: Negation and Disjunction in RIF] from Christian de Sainte Marie on 2007-11-19 (public-rif-wg@w3.org from November 2007)

Forwarded message 1

From: Pathak, Jyotishman, Ph.D. <Pathak.Jyotishman@mayo.edu>
Date: Wed, 7 Nov 2007 09:52:40 -0600
Subject: Negation and Disjunction in RIF
To: <public-rif-comments@w3.org>
Message-Id: <3E5ED3BF97EA9E43B069AB536CA223810D4104@msgebe31.mfad.mfroot.org>
Archived-At: <http://www.w3.org/mid/3E5ED3BF97EA9E43B069AB536CA223810D4104@msgebe31.mfad.mfroot.org>

Hello everyone,
 
I am a newcomer to this field and trying to learn. The question I have is w.r.t. support for negation (specifically NAF: negation as failure) and disjunction in RIF. As far as I know, SWRL natively does not support them. Is this true for RIF as well? 
 
Thank you,
- Jyoti