From: Richard <listserve@richardlennox.net>

Date: Tue, 01 Jun 2004 12:03:16 +0100

To: Pierre-Antoine Champin <swlists-040405@champin.net>, www-rdf-logic@w3.org

Message-Id: <E1BV736-0004R2-QU@spain.vosn.net>

Date: Tue, 01 Jun 2004 12:03:16 +0100

To: Pierre-Antoine Champin <swlists-040405@champin.net>, www-rdf-logic@w3.org

Message-Id: <E1BV736-0004R2-QU@spain.vosn.net>

> If I get you right, you want to express the fact that > > x p1 y AND y p2 z IMPLIES x p2 z It is the other way round: x p2 z IMPLIES x p1 y AND y p2 z I am unsure about the logic - are these equivalent? > or in other words, that > > (p1 o p2) is a subproperty of p2. > > or still in other words, use role composition. > > It seems that the answer is no. > This has been recently discussed on this list. > See http://lists.w3.org/Archives/Public/www-rdf-logic/2004Apr/0065.html > > regards > > Pierre-Antoine Champin > > > On Mon, 2004-05-31 at 22:16, Richard Lennox wrote: > > > > Hi, > > > > I am looking for some help with OWL and in particular a set of rules > > for: > > > > I want to say in OWL that for: > > > > Subject1 x:property Description_1 > > Description_1 x:property1 "ABC" > > Description_1 x:property2 "DEF" > > Description_1 x:property3 "GHI" > > > > if this is given: > > > > Description_1 x:property1 "ABC" > > Description_1 x:property2 "DEF" > > Description_1 x:property3 "GHI" > > > > then it should be inferred that the above is given where > > x:property[1,2or3] make up the description of a single property of > > Subject1 > > eg. > > ME foaf:mbox "XYZ" > > ME X:size Description_1 > > DEscription_1 X:height "6'2" > > Description_1 X:weight "120lbs" > > > > can be inferred from: > > > > ME foaf:mbox "XYZ" > > ME X:height "6'2" > > ME X:weight "120lbs" > > > > I also want to know if it is possible if given: > > C1 dcterms:isPartOf C2 > > > > are there rules on properties of C2 such that C1 inherits the > > properties? > > > > > > Many thanks > > > > Richard Lennox > > --------------------------------------------------------------------------- > > www.richardlennox.net > > > --Received on Tuesday, 1 June 2004 07:03:28 UTC

*
This archive was generated by hypermail 2.3.1
: Wednesday, 2 March 2016 11:10:42 UTC
*