Re: Why not import everything? (was: Re: getting daml:importsright is easy?)

[...]

> > What can we do?  Let's get some folks thinking about a modern view of
> > inference and ontology where the whole (semantic) world is one huge
> > interlinked ontology (as the whole web is one huge interlinked
> > document) and figure out how to live with it - because if we can't,
> > this whole enterprise is doomed from the start to be no more
> > successful than current AI systems.
>
> I think this definitely a useful research direction, but I don't want to
> rely on it as the only solution. Even if this sort of solution is
> possible, I think it will take many years (or decades) to work it out,
> and I don't think the world can wait that long for the Semantic Web.

proof and "proof to support trust" are not new at all
it's my recollection that we have such things since
decades

--
Jos

Received on Thursday, 23 May 2002 11:24:02 UTC