- From: Dave Reynolds <der@hplb.hpl.hp.com>
- Date: Tue, 19 Jun 2007 12:23:04 +0100
- To: Christian de Sainte Marie <csma@ilog.fr>
- CC: RIF WG <public-rif-wg@w3.org>
Christian de Sainte Marie wrote: > - Buildins > > PROPOSED: the buildins in RIF Core are exactly the ones listed in [6] I think there's a couple of other groups needed, unless they are covered elsewhere. ** Constructors I think we need the ability to convert between typed values and strings. A general way to do that would be to support the constructor functions as defined in [1] for our selected datatype set. Specifically the constructor functions: xs:string xs:long xs:decimal xs:time xs:dateType ** RDF manipulation We intend to include a means for representing RDF data in Core based on the frame syntax and some additional datatypes. We will need a corresponding set of builtin functions. I suggest a minimum would be to support the SPARQL [2] functions: isIRI isBlank isLiteral lang datatype langMatches str Plus we would need constructors for our mapped version of the RDF datatypes - iri, blankNode, plain-literal-with-lang-tag. We need to complete the RDF embedding proposal before we can properly define this latter group. ** Output Gary has suggested [3] that a minimal feature to enable test cases to be written in RIF would be the ability to output a data value (the output then being used to indicated success of the test case). Thus we would need: rif:print ** Lists There will need to be builtins associated with the List datatype once that is settled. Dave [1] http://www.w3.org/TR/xpath-functions/#constructor-functions [2] http://www.w3.org/TR/rdf-sparql-query/#SparqlOps [3] http://www.w3.org/2005/rules/wg/wiki/Arch/Test_Cases -- Hewlett-Packard Limited Registered Office: Cain Road, Bracknell, Berks RG12 1HN Registered No: 690597 England
Received on Tuesday, 19 June 2007 11:23:21 UTC