Mike, We have been playing a bit with your GEDCOM example. We actually rewrote it in N3 and the relations are at http://www.agfa.com/w3c/euler/gedcom-relations.n3 To have a practical example, some facts are at http://www.agfa.com/w3c/euler/gedcom-facts.n3 We did all kinds of queries such as at http://www.agfa.com/w3c/euler/gedcom-query.n3 and found all kinds of proofs such as at http://www.agfa.com/w3c/euler/gedcom-relations.n3 We had to fix (actually simplify) cycle detection. Recursions and mutual references seem to work ... Maybe the proofs can give an idea about possible simplifications of the relations ... -- Jos De Roo, Agfa http://www.agfa.com/w3c/jdroo/Received on Sunday, 4 March 2001 18:06:48 GMT
This archive was generated by hypermail 2.2.0+W3C0.50 : Wednesday, 11 January 2006 15:19:05 GMT