- From: Adrian Paschke <paschke@inf.fu-berlin.de>
- Date: Tue, 12 May 2009 14:43:31 +0200
- To: "'Public-Rif-Wg \(E-mail\)'" <public-rif-wg@w3.org>
I completed my ACTION-803 - Update mathematic syntax for Core to reflect restricted lists. Updated RIF Core XML Schema http://www.w3.org/2005/rules/wiki/Core#Condition_Language The Terms of RIF-Core are the terms of RIF-BLD with the exclusion of subclass terms and of terms with named arguments. http://www.w3.org/2005/rules/wiki/Core#Terms_of_RIF-Core EBNF Presentation Syntax of RIF Core including lists http://www.w3.org/2005/rules/wiki/Core#EBNF_Grammar_for_the_Presentation_Syn tax_of_RIF-Core List terms are safe by definition, because they are alway ground in Core, i.e. contain no variables. http://www.w3.org/2005/rules/wiki/Core#Safeness -Adrian
Received on Tuesday, 12 May 2009 12:44:20 UTC