- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Sat, 8 Dec 2001 00:02:42 +0100
- To: connolly@w3.org
- Cc: phayes@ai.uwf.edu, w3c-rdfcore-wg@w3.org
Hi Dan,
[...]
> I'm looking at:
>
> Id: test001.nt,v 1.4 2001/12/03 14:46:44 josderoo Exp
> Id: test001.rdf,v 1.4 2001/12/03 14:46:49 josderoo Exp
>
> I sorta expected to see an entailment test, not just
> an example arrangement of properties.
>
> But as an example/explanation, it looks fine.
>
> I'm happy to see it approved.
>
> I'd like to see an entailment test (to show
> that the transitive closure of parent is *not* entialed)
> added at some point, but it's not critical.
indeed, very good idea
let's start with
http://users.skynet.be/jdroo/rdf/rdfs-transitive-subSubProperty/test002.nt
and then try to entail
<http://example.org/foo#jd> <http://example.org/foo#ancestor>
<http://example.org/foo#od> .
and that is indeed succesful
(we just had to make a bug correction in
http://users.skynet.be/jdroo/euler/#R28067
(and we can't ftp put to www.agfa.com))
next, your proposal, trying to entail
<http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#od> .
which is indeed *not* possible
(at least we get a "No proof found")
next, trying to entail
<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od> .
which is succesful (thanks to the MT)
i.e.
{:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail.
<http://example.org/foo#ancestor> rdfs:subPropertyOf <http://example.org/foo#ancestor-or-uncle>.
{<http://example.org/foo#ancestor> a ont:TransitiveProperty.
<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd>.
<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od>} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#od>}} log:implies
{<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od>}.
and last, trying to entail
<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#ad> .
which was *not* possible
and that brings us to
...ancestor-or-uncle is a super-property of ancestor but is not transitive
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 7 December 2001 18:02:53 UTC