ISSUE-19
declarations-p
RESOLVED: Resolve whether to include declarations
- State:
- CLOSED
- Product:
- Raised by:
- Alan Ruttenberg
- Opened on:
- 2007-10-25
- Description:
Reported by alanruttenberg, Aug 08, 2007 Pro: Allows for detecting some kinds of errors Allows expression of intention in otherwise ambiguous cases Con: Some duplication of information Uncertain impact Not a lot of experience with it (there may be others) See: http://lists.w3.org/Archives/Public/public-owl-dev/2007JanMar/thread.html#msg80 http://lists.w3.org/Archives/Public/public-owl-dev/2007JulSep/thread.html#msg27 Comment 1 by bparsia, Aug 13, 2007 It should be noted that declarations *exist*, in a sense, in OWL DL. Use typing and declarations are handled by a mix of type triples and inference from syntactic position. Type triples are overloaded to be a kind of declaration as well as a typing mechanism. The second pro conflates issues concerning intention and issues concerning ambiguity. Ambiguity is generally handled, in OWL 1.1, by manifest typing, e.g., "ObjectPropertyDomain" (vs. plain rdfs:domain in OWL). Now, arguably, this signals your intention that the property in question is an object property (and the object of the assertion is a class). But there are cases where nothing is ambiguous, but the author didn't intend for a property to be punned as a class (current declarations don't enforce this bit). Thus, some form of declaration could express this bit of authorial intent. Comment 2 by bparsia, Aug 13, 2007 See also: http://code.google.com/p/owl1-1/issues/detail?id=37 (ISSUE-20) But this deals more with the syntax, afaict.
- Related Actions Items:
- No related actions
- Related emails:
- implementation of several resolutions in OWL 2 Full Wiki (from schneid@fzi.de on 2008-04-25)
- Re: Agenda for Washington F2F (from pfps@research.bell-labs.com on 2008-03-23)
- ISSUE-19 (declarations-p): REPORTED: Resolve whether to include declarations (from sysbot+tracker@w3.org on 2007-10-25)
Related notes:
2008-04-14 08:06:33: Resolved at F2F2 [1]: as per Boris Motik's proposal [2], amended to include AnnotationProperties in parallel to DataProperties and ObjectProperties.
[1] http://www.w3.org/2007/OWL/wiki/F2F2_Minutes#Issue_65
[2] http://www.w3.org/mid/000001c89659$6d8508f0$2a12220a@wolf [Ian Horrocks] [Ian Horrocks]
Display change log.