[removed www-rdf-comments from the cc and added w3c-rdfcore-wg] > For example, I am currently unable to determine whether the following > entailment > > ex:foo ex:prop "a"^^foo:bar . > > entails > > ex:foo ex:prop _:x . > _:x rdf:type rdfs:Resource . Using appropriate namespace prefixes @prefix ex: <http://example.org/ex#>. @prefix foo: <http://example.org/foo#>. I have found that entailment working ex:foo ex:prop "a"^^foo:bar. "a"^^foo:bar rdf:type rdfs:Resource. -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/Received on Friday, 30 May 2003 07:22:10 EDT
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:57:34 EDT