From: Tim Berners-Lee (timbl@w3.org)
Date: 01/05/01
"Dan Connolly's daml:collection parse type pushes the envelope on the RDF
standard, and hasn't yet been implemented in any tools." [1]
Correction not to the minutes but to the facts - I did implement parsing
this in
http://www.w3.org/2000/10/swap/xml2rdf.py.
I also introduced a lisp-like (list) syntax into N3 for the same semantics.
There are some minor differences between the spec at the time and
the code - one in the namespaces for "first" and "rest", and one in
the use of "null" in the code in place of "some x such that x is of type
Empty"
(in the spec) to terminate a list.
The original daml example file,
http://www.w3.org/2000/10/swap/test/daml-ex.rdf
contains
<Class about="#Person">
<comment>every person is a man or a woman</comment>
<disjointUnionOf parseType="daml:collection">
<Class about="#Man"/>
<Class about="#Woman"/>
</disjointUnionOf>
</Class>
expands to (in N3) to
ex:Person a :Class;
:subClassOf ex:Animal;
:restrictedBy [
a :Restriction;
:onProperty ex:parent;
:toClass ex:Person ];
:comment "every person is a man or a woman";
:disjointUnionOf [
:first ex:Man;
:rest [
:first ex:Woman;
:rest :null ] ] .
I did not (yet?) implement regenerating the daml:collection syntax.
But the current language spec doesn't mention the RDF model for
lists at all.
I had the impression that Oiled parsed or generated lists too
Tim
----- Original Message -----
From: "Mike Dean" <mdean@bbn.com>
To: <joint-committee@daml.org>
Sent: Thursday, January 04, 2001 1:35 PM
Subject: Joint Committee Minutes 2 January 2001
> The minutes from this week's meeting have been posted to
> [1].
>
> Mike
>
> [1] http://www.daml.org/committee/minutes/2001-01-02.html
>
This archive was generated by hypermail 2.1.4 : 04/02/02 EST