Re: LOG WebOnt Telcon May 30th (Draft)

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

actually, 

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
http://lists.w3.org/Archives/Public/www-webont-wg/2002May/0234.html

> 
> 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."
http://www.w3.org/TR/2001/NOTE-daml+oil-reference-20011218#inverseOf-def

and to approve the test case
  http://www.w3.org/2002/03owlt/mapInvP.rdf

  http://www.w3.org/2002/03owlt/mapInvC.rdf


while noting that a related issue,
http://www.w3.org/2001/sw/WebOnt/webont-issues.html#5.1-Uniform-treatment-of-literal/data-values
is still open.


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Thursday, 6 June 2002 10:16:15 UTC