W3C home > Mailing lists > Public > public-rif-wg@w3.org > June 2008

Re: [PRD] Issues to resolve before publication (examples of Const)

From: Gary Hallmark <gary.hallmark@oracle.com>
Date: Mon, 30 Jun 2008 11:53:39 -0700
Message-ID: <48692BB3.6070907@oracle.com>
To: Christian de Sainte Marie <csma@ilog.fr>
CC: RIF WG <public-rif-wg@w3.org>

Christian de Sainte Marie wrote:
> Gary Hallmark wrote:
>>
>> jim:today is not a valid xml serialization.
>
> Supposing that Jim's namespace is http://rif.examples.com/2008/jim#, 
> would the following be correct?
>
> <Const type="rif:iri">
>    http://rif.examples.com/2008/jim#today
> </Const>
>
yes
>>> As a consequence, I also removed the example 2.1.e (but I would still
>>> like to understand your comment in [3], Gary).
>>
>> my point is that we don't have any support for user-defined datatypes 
>> and it's not necessary for the example, so it should be removed.
>
> Yes, I got that much (and I removed the example). When I wrote that "I 
> would still like to understand your comment, I was refering to the 
> second part of it (from "Maybe we need..."):
just a musing that one can express much of one's datamodel in BLD/FLD, 
and maybe instead of trying to invent a datamodel for PRD one can embed 
rules about one's datamodel.  This would give rise to a PRD ruleset that 
contains
BLD/FLD rules to convey datamodel constraints.  E.g. a rule to say that 
the empno
for an Emp is unique:

?x = ?y :- ?emp#Emp and ?emp[empno->$x empno->$y]

The following 2 rules could be used to define a DayOfWeek

DayOfWeek##xs:string
?d = "Monday" or ?d = "Tuesday" or ... :- ?d#DayOfWeek
Received on Monday, 30 June 2008 18:55:03 GMT

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