ISSUE-64: RESOLVED: object property chains in triples: confusion of list with property
obj-prop-chain rep
RESOLVED: object property chains in triples: confusion of list with property
- State:
- CLOSED
- Product:
- Raised by:
- Jeremy Carroll
- Opened on:
- 2007-11-20
- Description:
- The rule
SubObjectPropertyOf(
subObjectPropertyChain(op1 ... opn)
op)
=>
T(SEQ op1 ... opn) SUBPROPERTYOF[op1,...,opn,op] T(op)
seems to give a resource which is a list a property extension.
Is this wise?
Would adding an additional property e.g.
owl11:propertyFromChain
to link an unknown property to the list of properties that are being chained together be better.
If not, at what point in an OWL Full semantics does a list of properties get the semantics of a property chain?
- Related Actions Items:
- No related actions
- Related emails:
- RE: ISSUE-64 (obj-prop-chain rep): REPORTED: object property chains in triples: confusion of list with property (from boris.motik@comlab.ox.ac.uk on 2007-11-21)
- Re: ISSUE-64 (obj-prop-chain rep): REPORTED: object property chains in triples: confusion of list with property (from jjc@hpl.hp.com on 2007-11-21)
- RE: ISSUE-64 (obj-prop-chain rep): REPORTED: object property chains in triples: confusion of list with property (from boris.motik@comlab.ox.ac.uk on 2007-11-20)
- ISSUE-64 (obj-prop-chain rep): REPORTED: object property chains in triples: confusion of list with property (from sysbot+tracker@w3.org on 2007-11-20)
Related notes:
I just fixed the problem as per my last e-mail.
Boris Motik, 28 Nov 2007, 21:54:38Resolved at TC 2007.11.28 with solution offered in Boris Motik's note: http://lists.w3.org/Archives/Public/public-owl-wg/2007Nov/0391.htm
Instead of owl11:propertyFromChain, I would simply call it owl11:propertyChain: the semantics of <x owl11:propertyChain LIST[y1 ... yn]> would then be "the extension of x is obtained by chaining together y1, ..., yn". In OWL 1.1 Full one could use this everywhere, and not just in the rdfs:subPropertyOf. (In the DL version, however, we'll have to disallow such free usage of owl11:propertyChain.)l
Display change log
