- From: Pat Hayes <phayes@ai.uwf.edu>
- Date: Fri, 5 Apr 2002 18:40:16 -0600
- To: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
- Cc: 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>
>.
OK, seems correct and to the point.
Pat
>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
--
---------------------------------------------------------------------
IHMC (850)434 8903 home
40 South Alcaniz St. (850)202 4416 office
Pensacola, FL 32501 (850)202 4440 fax
phayes@ai.uwf.edu
http://www.coginst.uwf.edu/~phayes
Received on Friday, 5 April 2002 19:40:15 UTC