Re: comment on agenda item 9 (rdfs-transitive-subSubProperty)

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