ISSUE-64 (obj-prop-chain rep): REPORTED: object property chains in triples: confusion of list with property

ISSUE-64 (obj-prop-chain rep): REPORTED:  object property chains in triples: confusion of list with property

http://www.w3.org/2007/OWL/tracker/issues/

Raised by: Jeremy Carroll
On product: 

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?

Received on Tuesday, 20 November 2007 14:47:12 UTC