- 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>
> 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 UTC