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

Re: Issue 3.4 - daml:UnambiguousProperty

From: Jim Hendler <hendler@cs.umd.edu>
Date: Thu, 6 Jun 2002 07:24:03 -0400
Message-Id: <p05111701b924f623a161@[]>
To: Ian Horrocks <horrocks@cs.man.ac.uk>
Cc: webont <www-webont-wg@w3.org>

At 11:18 AM +0100 6/6/02, Ian Horrocks wrote:
>On May 29, Jim Hendler writes:
>>  Issue 3.4 - daml:UnambiguousProperty
>>    Proposal - CLOSE THIS ISSUE
>>     The issue here was that the requirements document didn't motivate
>>  this language feature.  However, no one has advocated its removal and
>>  there does seem to be consensus it is a desirable feature.  It is
>>  provided for in DAML+OIL and will be provided in OWL.
>This issue may be tied to the INVERSE issue. UnambiguousProperty
>really means functionality w.r.t. the inverse property. If we no
>longer support inverse, then it seems a little strange to be able to
>assert its functionality.

I'm confused about "no longer support inverse" -- we resolved the 
inverse issue and decided we would indeed support it.

 From log of May 30 telecon-
>a) ISSUE 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:
>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.

so the only open issue is whether inverse is allowed with datatypes 
(pending resolution of datatypes by RDF Core)


Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  240-731-3822 (Cell)
Received on Thursday, 6 June 2002 07:24:22 UTC

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