W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2009

[DTB] review (completing action 775)

From: Adrian Paschke <adrian.paschke@gmx.de>
Date: Tue, 12 May 2009 12:18:07 +0200
To: "'Axel Polleres'" <axel.polleres@deri.org>
Cc: "'Public-Rif-Wg \(E-mail\)'" <public-rif-wg@w3.org>
Message-ID: <00f501c9d2ea$f22c0080$d6840180$@paschke@gmx.de>
Hi,

Except for the latest changes here my review for DTB.

-Adrian


Abstract

Mention also RIF PRD:
->  This document, developed by the Rule Interchange Format (RIF) Working
Group, specifies a list of primitive datatypes, built-in functions and
built-in predicates expected to be supported by RIF dialects such as the RIF
Basic Logic Dialect and the RIF Production Rules Dialect

Section 1.2

Duplicated sentence: ¡°The precise way in which these directives work is
explained in Section Shortcuts for Constants in RIF's Presentation Syntax.¡±

Section 1.2.2. 

<p>Apart from compact IRIs¡­

Section 1.3.

For the XML Schema datatypes of RIF, namely all RIF datatypes [ in ] within
the xs: namespace

Section 2.1

to describe both [both] the syntax and semantics

Section 2.2.

¡°The semantics of external terms in RIF-FLD and RIF-BLD is defined using
two mappings: Iexternal and Itruth ¦Ï Iexternal¡­.¡± 

What about RIF Core and RIF PRD. The condition language of PRD and the newly
introduced external print built-in use this semantics from DTB (FLD) ¨C so
they should be mentioned as well.

Section 3.1.1.

¡°RIF supports identity for typed literals through the "=" predicate in all
dialects that extend RIF-CORE. Identity for typed literals is defined as
being the same point in the value space for that type.¡±

That would disallow future order-sorted typed RID dialects to be extensions
of RIF Core ¨C literals are equal if they belong to the same sort (type) or
a sub-type.

3.6.1.1 func:not
Maybe we should add a sentence about the difference of this not function
built-in and negation as e.g. in PRD to make it explicit ¨C but it is also
fine as it 



Maybe a general ¡°RIF DTB Extensibility¡± section at the end could be
helpful which describes how future RIF dialects would extend RIF DTB and how
user-defined functions and built-ins can be defined with respect to the
¡°normative¡± DTB built-ins.


-Adrian



-----Urspr¨¹ngliche Nachricht-----
Von: public-rif-wg-request@w3.org [mailto:public-rif-wg-request@w3.org] Im
Auftrag von Axel Polleres
Gesendet: Dienstag, 12. Mai 2009 11:01
An: Jos de Bruijn
Cc: Chris Welty; Public-Rif-Wg (E-mail)
Betreff: Re: Reminder: reviews expected for tomorrow

Jos de Bruijn wrote:
> Apologies. My reviews are delayed, due to the fact that I've been ill
> the last couple of days. I'm feeling somewhat better today, but still do
> not think I can complete my reviews before the telecon.
> 
> As for DTB: I thought this document was not yet ready for review?

I am just finishing the last item at
http://www.w3.org/2005/rules/wiki/LastCallPlan#DTB

* refine all informal builtin definitions (Axel)

took me longer than expected, unfortunately. Consequently, also my 
reviews are delayed.

Apologies,

Axel

> Best, Jos
> 
> Chris Welty wrote:
>> RIFWG:
>>
>> Just a reminder that we are expecting reviews of all documents to be
>> completed by tomorrow's telecon, so we can vote documents to last call.
>>
>> Core: Changhai, Jos
>> BLD: Axel, csma
>> SWC: Axel, Gary
>> DTB: Jos, Adrian
>> PRD: Harold, Changhai, Jos
>> FLD: Chris, Stella
>>
>> -Chris
>>
> 


-- 
Dr. Axel Polleres
Digital Enterprise Research Institute, National University of Ireland, 
Galway
email: axel.polleres@deri.org  url: http://www.polleres.net/
Received on Tuesday, 12 May 2009 10:18:55 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:08 GMT