- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Sat, 20 Jul 2002 00:22:05 +0200
- To: Dan Connolly <connolly@w3.org>
- Cc: Brian McBride <bwm@hplb.hpl.hp.com>, RDF Core <w3c-rdfcore-wg@w3.org>
[...]
> I did some test cases to show that a while ago...
> http://www.w3.org/2000/10/swap/test/datatypeAtoB.n3
>
> I guess I don't have time to keep up. Sorry.
w.r.t. tidy & two properties
we have tested (in C#.NET btw) that
:p1 rdfs:subPropertyOf ( :p2 :p3 ) .
:i1 :p2 :i2 .
:i2 :p3 :i3 .
rdfs-entails
:i1 :p1 :i3 .
having added rdfs-entailment rule6b
this log:forAll :p, :q, :r, :s, :x, :o .
{ :p rdfs:subPropertyOf ( :q :r ) .
:s :q :x .
:x :r :o .
}
log:implies
{ :s :p :o } .
so we can have datatyping S-A idiom
to S-B idiom conversion knowing that
:lp rdfs:subPropertyOf ( :p :ip ) .
and maybe strange, but what else could
the extension of :lp be than a subset
of the set of pairs obtained by chaining
pairs from the extension of :p and :ip ?
-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 19 July 2002 18:22:47 UTC