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