W3C home > Mailing lists > Public > www-rdf-interest@w3.org > January 2001

Re: Proposal: variables, templates, and Stickey Cyber Molecu

From: <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 18 Jan 2001 12:34:35 +0100
To: " - *timbl@w3.org" <timbl@w3.org>
Cc: " - *www-rdf-interest@w3.org" <www-rdf-interest@w3.org>
Message-Id: <0006800039203046000002L062*@MHS>
> Langauges which use a syntax such as "?x" to declare a variable but don't
> give its scope don't, it seems to me, have the ability to represent
> arbitrary logical expressions.

That sounds very clear.
We feel good with N3 in that it really supports the things we want to express!
We try to make our examples linked from http://www.agfa.com/w3c/euler/ in that
way, but we still have a lot of things to do ...
- @prefix handling
- parameter property lists
- context local scope of variables
- daml+oil axiomatic semantics proof checking
- regain the lost speed (20 times)
- fix e-circularity problem (e in the sense of - /

--
Jos De Roo, AGFA
Received on Thursday, 18 January 2001 06:34:55 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:47 GMT