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