Re: DTTF: How unasserted triples help

On Wed, 2002-05-22 at 15:49, Jonathan Borden wrote:
[...]
> > I can imaging that it might; but I would be entirely more convinced
> > if there were an existence proof showing *how* unasserted triples
> > allows the OWL MT to do this.
> 
> By "existence proof" you mean to say that you will be convinced once you see
> the actual MT?

Well, sorta, but yes, I was getting off on a tangent.

In stead of those sorts of details, can you put the example
in the form of an entailment test, i.e. a pair of files,
one containing the premise, and the other containing the
conclusion, using a proposed syntax for RDF with
dark triples?

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Wednesday, 22 May 2002 17:02:37 UTC