Re: ISSUE 5.3 Semantic Layering

>>>How much baby goes out with the bath water?


Another example is to do with rdf:List. In the OWL DL syntactic subset you 
can only use this as part of intersections unions etc.

It may be natural to use rdf:List within user ontologies (certainly Bijan's 
question about daml:item suggests so).

Any reasoning about such lists as needed to restrict them to be lists of 
certain things would behave differently from other reasoning.

A range constraint might be OK, but a restiction might not.

Jeremy