- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Sat, 20 Jul 2002 02:11:51 +0200
- To: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
- Cc: Brian McBride <bwm@hplb.hpl.hp.com>, Dan Connolly <connolly@w3.org>, RDF Core <w3c-rdfcore-wg@w3.org>
[oops... swap some subjects and objects]
( :p1 p2 ) rdfs:subPropertyOf :p3 .
:i1 :p1 :i2 .
:i2 :p2 :i3 .
rdfs-entails
:i1 :p3 :i3 .
having added rdfs-entailment rule6b
this log:forAll :p, :q, :r, :s, :x, :o .
{ ( :p :q ) rdfs:subPropertyOf :r .
:s :p :x .
:x :q :o .
}
log:implies
{ :s :r :o } .
so we can have datatyping S-A idiom
to S-B idiom conversion knowing that
( :p :ip ) rdfs:subPropertyOf :lp .
-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 19 July 2002 20:12:30 UTC