- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Thu, 6 Jun 2002 07:24:03 -0400
- 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. > >Ian > 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 >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 > > >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) -JH -- 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) http://www.cs.umd.edu/users/hendler
Received on Thursday, 6 June 2002 07:24:22 UTC