W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > July 2002

Re: datatypes input

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>
Message-ID: <OFEDE2EFE9.124CBFC7-ONC1256BFB.008398D8@agfa.be>

[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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:53:59 UTC