W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2002

Re: 4.5 InverseOf: a test case for mapping between ontologies

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 30 May 2002 11:07:49 +0200
To: "Dan Connolly <connolly" <connolly@w3.org>
Cc: "www-webont-wg" <www-webont-wg@w3.org>
Message-ID: <OFB9857C7D.94304918-ONC1256BC8.005EEFF8@agfa.be>


> I think inverseOf is quite useful for mapping
> between ontologies; here's
> an example of how I understand it to work:
>
> premise:
>
>  :joe my:hasBrother :bob.
>
>  my:hasBrother ont:inverseOf your:isBrotherOf.
>
> conclusion:
>
>
>   :bob your:isBrotherOf :joe.
>
> full details, with namespaces and all that:
>
>   http://www.w3.org/2002/03owlt/mapInvP.rdf
>
>   http://www.w3.org/2002/03owlt/mapInvC.rdf

we can indeed assert the statement
  ( <http://www.w3.org/2002/03owlt/mapInvP.n3>
    <http://www.w3.org/2001/10/daml+oil#> )
    log:entails
    <http://www.w3.org/2002/03owlt/mapInvC.n3> .

> (for the cwm/N3-minded, see the mapInvR.n3 stanza
> the http://www.w3.org/2002/03owlt/Makefile for
> one way to run this test.)

Dan, I'm not sure what to do with all those "'s
in mapInvR.n3 such as rdf:"type and rdf:"Property

--
Jos
Received on Thursday, 30 May 2002 05:14:19 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:50 GMT