- 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>
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