Re: gedcom-relation example

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