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

Re: LOG WebOnt Telcon May 30th (Draft)

From: Dan Connolly <connolly@w3.org>
Date: 06 Jun 2002 09:16:42 -0500
To: volz@aifb.uni-karlsruhe.de
Cc: Webont <www-webont-wg@w3.org>
Message-Id: <1023373003.25653.861.camel@dirk>

On Thu, 2002-05-30 at 12:22, Raphael Volz wrote:
> a) ISSUE InverseOf
> http://www.w3.org/2001/sw/WebOnt/webont-issues.html#4.5-InverseOf
> "InverseOf is a highly used (some say misused) feature of
> DAML+OIL. The OWL-Full proposal left it out, because of some worries
> on the part of some participants that it caused some logical problems
> for users. Other people argue it is an important expression in the
> mapping between ontologies."
> Proposed resolution by Dan Connoly:
> http://lists.w3.org/Archives/Public/www-webont-wg/2002May/0264.html


From: Dan Connolly <connolly@w3.org>
To: www-webont-wg@w3.org
Date: 28 May 2002 18:09:23 -0500
Message-Id: <1022627363.21952.48.camel@dirk>
Subject: 4.5 InverseOf: a test case for mapping between ontologies

> Ian: description seems to involve UniquelyIdentifyingPropert often with
> respect to Datatypes.
> proposal is ammended in resolution 5.1 when used with datatypes still open,
> elsewise close.
> closed in favor. closing text will be online. resolved.

"closing text will be online"? Hmm... closing text *is* online,
in the form of this meeting record. Perhaps it would be more
clear as:

RESOLVED: to close issue issue 4.5-InverseOf; to approve
 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."

and to approve the test case


while noting that a related issue,
is still open.

Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Thursday, 6 June 2002 10:16:15 UTC

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