RE: Problems with dark triples approach

From: "Jeremy Carroll" <jjc@HPLB.HPL.HP.COM>
Subject: RE: Problems with dark triples approach
Date: Tue, 23 Apr 2002 15:21:05 +0100

[...]

> If I have understood, you have set it up so that either 
> _:R1 or _:R2 is a daml:Restriction. Extending the example
> and assuming the triples are not dark and the implicit
> consequences carry the semantics then it is difficult
> (read "not realistic with reasonable termination") to 
> implement this. 

I (haven't yet) even touched the complexity issues.  I'm still trying to
get at what the approach is supposed to do here, let alone how hard it is
to do whatever that is.

peter