- 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>
> 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 UTC