- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Fri, 5 Apr 2002 18:00:16 +0100
- To: "connolly" <connolly@w3.org>, phayes@ai.uwf.edu
- Cc: "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
Dan and Pat, In the RDFCore telecon today I took an action >2002-04-05#11: josd ping pat, danc to look at >rdfs-subPropertyOf-semantics tests [[[ Issue rdfs-subPropertyOf-semantics: The inheritance semantics of the subPropertyOf relationship needs to be clarified. => subProperties inherit conjunctively the domain and range of their superproperties ]]] . and the entailment test case is ( <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> . evidenced with (using a kind of rule labels btw) # Generated with http://www.agfa.com/w3c/euler/#R30006 on Fri Apr 05 18:42:53 CEST 2002 # for query http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt # given [http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test001.nt, http://www.agfa.com/w3c/euler/rdfs-rules.n3] @prefix mt: <http://www.w3.org/TR/rdf-mt/#>. @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>. @prefix log: <http://www.w3.org/2000/10/swap/log#>. @prefix : <http://www.agfa.com/w3c/euler/rdfs-rules#>. @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>. { <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> . <http://example.org/bar> rdfs:domain <http://example.org/Domain1>. { <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> . <http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2>} log:implies {<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>}} log:implies {<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain1>}. { <http://www.agfa.com/w3c/euler/rdfs-rules#rule2> . <http://example.org/bas> rdfs:domain <http://example.org/Domain2>. <http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2>} log:implies {<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain2>}. { <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> . <http://example.org/bar> rdfs:range <http://example.org/Range1>. { <http://www.agfa.com/w3c/euler/rdfs-rules#rule6> . <http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2>} log:implies {<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2>}} log:implies {<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range1>}. { <http://www.agfa.com/w3c/euler/rdfs-rules#rule3> . <http://example.org/bas> rdfs:range <http://example.org/Range2>. <http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2>} log:implies {<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range2>}. # Proof found for http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt in 262 steps (51332 steps/sec) have a very nice weekend -- Jos
Received on Friday, 5 April 2002 12:00:59 UTC