- From: Axel Polleres <axel.polleres@deri.org>
- Date: Sun, 20 Sep 2009 08:40:33 +0100
- To: "RIF (E-mail)" <public-rif-wg@w3.org>
- Cc: Sandro Hawke <sandro@w3.org>
Started to clean up DTB wrt. List functions and predicates... cf.
ACTION-920
Question: Is
External( pred: is-list( List ( 1 | 2 ) ) )
true or false or undefined? From the current informal definition this
is not clear.
I adapted the definition of
http://www.w3.org/2005/rules/wiki/DTB#pred:is-list
assuming the former.
Further, I added the following examples to the definition of is-list
in DTB:
is-list(List(0 1 2 | List(3 4))) = True
is-list(List(1 | 2)) = True
BTW, this is not RIF syntax, so the examples for lists in the document
need to be
in proper RIF presentation syntax, ie. instead it should be:
External(pred:is-list(List(0 1 2 | List(3 4)))) will evaluate to t
in any interpretation.
External(pred:is-list(List(1 | 2))) will evaluate to t in any
interpretation.
I am not sure whether I manage to clean up all list functions, but I
think we cannot have
examples in the document which aren't valid for any syntax we support,
so at least the examples should be cleaned up.
Given ambiguities of the informal mappings like thes further convinces
me that it we
probably don't want the informal mappings in the spec. Opinions?
(I am still not sure how far I get with the cleaning...)
Axel
--
Dr. Axel Polleres
Digital Enterprise Research Institute, National University of Ireland,
Galway
email: axel.polleres@deri.org url: http://www.polleres.net/
Received on Sunday, 20 September 2009 07:41:15 UTC