- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Thu, 22 Mar 2001 10:20:45 +0100
- To: timbl@w3.org
- Cc: mdean@bbn.com, boley@informatik.uni-kl.de, www-rdf-logic@w3.org
> Thanks for converting this into N3. I was very glad to do that (during the 42 hours it took me to come back from Boston (after the all-group-meeting and technical-plenary) to my home in Belgium (canceled flight, train instead of plane, etc ...)) > I had to make two changes to use it. In the rules, for cwm you have to > state that the rule is true - the "forAll" doens't do that for you. That is indeed a good thing to be explicit about and the example actually still works (with euler) and BTW that's what I find so interesting in N3, when you mix in things or when you have things in the form before term-rewriting (to come to Horn clauses or so), they still give some evidence (something like Socratic completeness?-) > The other thing is that you > can't > omit the colon when you use a locanname with a void namespace prefix. OK > My versions are listed in http://www.3.org/2000/10/swap/Examples.html > > (where is the original of this from?) Well, they came from Mike Dean who wrote them up in RuleML during the RDF-IG F2F meeting last february as an "early RuleML feedback". The URI is http://www.daml.org/2001/01/gedcom/gedcom-relations.xml So all credits should go to Mike :-(sorry that I forgot that ...) -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 22 March 2001 04:21:09 UTC