TEST: entailment test cases

---------------------- Forwarded by Jos De_Roo/AMDUS/MOR/Agfa-NV/BE/BAYER on
2002-03-02 12:04 PM ---------------------------
 ------------------------------------------------------------------------------ 
 (Embedded image   Jos De_Roo - 00 32 3 444 6256               2002-03-02 12:03 
 moved to file:    Agfa-Gevaert N.V. - Mortsel - Belgium      PM                
 pic16036.pcx)     Corporate Research Centre on Electronic                      
                   Imaging Systems                                              
                                                                                




To:    www-webont-wg@w3.org
cc:    Jan.Grant@bristol.ac.uk
Subject:    TEST: entailment test cases
The stuff about entailment test cases in RDFCore is in progress
and Jan Grant is involved with an updated test cases document
which describes how entailment tests work.

I've been playing with that stuff, and will try to describe briefly
what we have been doing.

Looking at http://lists.w3.org/Archives/Public/www-archive/2002Feb/0022.html
we have a manifest file or a set of statements that we want to be satisfied.

So let's take one of those statements

( <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt>
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt>
  <http://www.w3.org/2000/01/rdf-schema#>
  <http://www.w3.org/2001/10/daml+oil#> )
  log:entails
  <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test001.nt> .

The ( :a :b ) is N3 shorthand for
  _:lhs1 owl:first :a .
  _:lhs1 owl:rest _:lhs2 .
  _:lhs2 owl:first :b .
  _:lhs2 owl:rest owl:nil .
The :a and :b are URI's pointing to ntriple resources which
could/should be "everywhere" on the web, but it's best to have
some means of local caching to improve test performance
[[
  we happen to take C:\x\y\z if we get a Java
  UnknownHostException during GET http:/x/y/z
]]
Those URI's are enough for SIMPLE-entailment
but if we want to have RDFS-entailment, we include
<http://www.w3.org/2000/01/rdf-schema#> which is a
means to refer to the Model Theory RDFS-entailment rules
and similarly for OWL-entailment we include
<http://www.w3.org/2001/10/daml+oil#>

So the log:entails has builtin the appropriate collecting
and dereferencing of uris-to-set-of-ntriples.

The RHS of log:entails is a single uri pointing to a set-of-ntriples
(the ones that should be entailed)

Manifests could include other manifests, such as e.g.

( )
  log:entails
  <http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/etc001.n3> .

Negative entailment tests can be done via log:notEntails
but we should take care that that is tractable.

--
Jos De Roo