ISSUE-112
Universal property
RESOLVED: Universal property (a.k.a. universal role) missing in current OWL2 documents
- State:
- CLOSED
- Product:
- Raised by:
- Markus Krötzsch
- Opened on:
- 2008-04-04
- Description:
The current OWL2 specification documents lack the notion of a universal property (a.k.a. "universal role", "top property"). Semantically, this object property is analogous to owl:Thing for classes, i.e. it interrelates all pairs of elements in the extension of Thing. The universal role is know to be unproblematic from a complexity and decidability point of view in DL, and its interpretation for OWL2 Full should also be straightforward. The universal property is useful both for conceptual reasons (as the root of the sub-propery tree), and for some modelling purposes (related to expressing certain rules in OWL2). The main issue here is the choice of vocabulary names, since no obvious name is analogous to the existing Thing. Preliminary proposals in offline discussions have been things like "universalProperty", "thingProperty", "relatesTo", "topProperty", "universal". This features has been discussed before on the public mailing list [1]. [1] http://lists.w3.org/Archives/Public/public-owl-wg/2008Jan/0141.html
- Related Actions Items:
- No related actions
- Related emails:
- Re: Top object and data properties added (as part of my open ACTION-160) (from hoekstra@uva.nl on 2008-06-17)
- RE: Question about problems with top/bottom property (from boris.motik@comlab.ox.ac.uk on 2008-06-02)
- Re: Question about problems with top/bottom property (from bparsia@cs.man.ac.uk on 2008-06-02)
- RE: Question about problems with top/bottom property (from schneid@fzi.de on 2008-06-02)
- Re: Question about problems with top/bottom property (from hoekstra@uva.nl on 2008-06-02)
- Re: Question about the topProperty (from hoekstra@uva.nl on 2008-05-30)
- Re: Question about problems with top/bottom property (from hoekstra@uva.nl on 2008-05-30)
- ISSUE-112 (Universal property): Universal property (a.k.a. universal role) missing in current OWL2 documents (from sysbot+tracker@w3.org on 2008-04-04)
Related notes:
2008-04-22 15:15:27: Per discussion Ian and Alan [Alan Ruttenberg]
2008-06-24 13:17:57: Resolved as per http://www.w3.org/2007/OWL/meeting/2008-06-18#ISSUE__2d_112
See http://www.w3.org/2007/OWL/wiki/index.php?title=Syntax&diff=8587&oldid=8586
[Ian Horrocks]
Changelog:
2008-04-04 18:32:47: Created issue 'Universal property (a.k.a. universal role) missing in current OWL2 documents' nickname Universal property owned by Markus Krötzsch on product , description 'The current OWL2 documents lack the notion of a universal property (a.k.a. "universal role", "top property"). Semantically, this object property is analogous to owl:Thing for classes, i.e. it interrelates all pairs of elements in the extension of Thing. The universal role is know to be unproblematic from a complexity and decidability point of view in DL, and its interpretation for OWL2 Full should also be straightforward. The universal property is useful both for conceptual reasons (as the root of the sub-propery tree), and for some modelling purposes (related to expressing certain rules in OWL2). The main issue here is the choice of vocabulary names, since no obvious name is analogous to the existing Thing. Preliminary proposals in offline discussions have been things like "universalProperty", "thingProperty", "relatesTo", "topProperty".' non-public [Markus Krötzsch]
2008-04-04 18:40:17: Description changed to 'The current OWL2 specification documents lack the notion of a universal property (a.k.a. "universal role", "top property"). Semantically, this object property is analogous to owl:Thing for classes, i.e. it interrelates all pairs of elements in the extension of Thing. The universal role is know to be unproblematic from a complexity and decidability point of view in DL, and its interpretation for OWL2 Full should also be straightforward. The universal property is useful both for conceptual reasons (as the root of the sub-propery tree), and for some modelling purposes (related to expressing certain rules in OWL2). The main issue here is the choice of vocabulary names, since no obvious name is analogous to the existing Thing. Preliminary proposals in offline discussions have been things like "universalProperty", "thingProperty", "relatesTo", "topProperty", "universal". This features has been discussed before on the public mailing list [1]. [1] http://lists.w3.org/Archives/Public/public-owl-wg/2008Jan/0141.html'
2008-04-04 18:40:17: Issue dissociated from any product
2008-04-22 15:15:27: Issue dissociated from any product
2008-04-22 15:15:27: Status changed to 'open'
2008-06-24 13:17:57: title changed to 'RESOLVED: Universal property (a.k.a. universal role) missing in current OWL2 documents' [Ian Horrocks]
2008-06-24 13:17:57: Issue dissociated from any product [Ian Horrocks]
2008-06-24 13:17:57: Status changed to 'closed' [Ian Horrocks]