W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2002

Re: DTTF: How unasserted triples help

From: Dan Connolly <connolly@w3.org>
Date: 22 May 2002 16:02:41 -0500
To: Jonathan Borden <jonathan@openhealth.org>
Cc: WebOnt WG <www-webont-wg@w3.org>
Message-Id: <1022101362.14014.99.camel@dirk>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:50 GMT