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

> 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