RE: appeal for (short) test case review

>
> The testcase is simply, ***does test001 RDFS entail test002***
>
> I was hoping that that was clear from my message
> http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Apr/0006.html
>
> [[[
( 
<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test001.nt>
  <http://www.w3.org/2000/01/rdf-schema#> )
  log:entails
  <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt> .

]]]


> The answer is a simply B/W ***yes or no***


Yes it does, and I support the test case. Sorry about my earlier hiccup.

Can I suggest a minor change that in test0001.nt one of the domains and one of the ranges should be assigned to the subproperty not the superproperty. One could even add a third domain and range for the subproperty.

That's just to completely rule out any sort of non-monotonic defeasible reasoning.

Jeremy

Received on Friday, 5 April 2002 07:28:55 UTC