- 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