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

4.5 InverseOf: a test case for mapping between ontologies

From: Dan Connolly <connolly@w3.org>
Date: 28 May 2002 18:09:23 -0500
To: www-webont-wg@w3.org
Message-Id: <1022627363.21952.48.camel@dirk>
I think inverseOf is quite useful for mapping
between ontologies; here's
an example of how I understand it to work:


 :joe my:hasBrother :bob.

 my:hasBrother ont:inverseOf your:isBrotherOf.


  :bob your:isBrotherOf :joe.

full details, with namespaces and all that:



(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.)

So I propose to close this issue
by approving this test case and the
existing specification of inverseOf:

"if the pair (x,y) is an instance of P, than the pair (y,x) is an
instance of the named property."


er... perhaps this should be clarified:

  if (I(P),I(Q)) is in the extension of
    ont:inverseOf and
  if (x,y) is in the extension of P
  then (y, x) is in the extension of Q.

Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Tuesday, 28 May 2002 19:09:07 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:43 UTC