- From: Dan Connolly <connolly@w3.org>
- Date: Fri, 03 Oct 2003 15:55:16 -0500
- To: Jim Hendler <hendler@cs.umd.edu>
- Cc: Bijan Parsia <bparsia@isr.umd.edu>, Tim Berners-Lee <timbl@w3.org>, public-sw-meaning@w3.org
On Fri, 2003-10-03 at 15:26, Jim Hendler wrote: [...] > Consider document D which imports A, B, and C (but not T) > Is document D consistent or inconsistent You lost me there. What do you mean by imports? If you mean it in the OWL sense*, are you asking about the consistency of D alone or the imports closure of D? In either case, the answer is clear enough from the OWL specs, no? * which I think is a useless and counter-productive notion altogether. http://www.w3.org/2001/sw/WebOnt/webont-issues.html#I5.6-daml:imports-as-magic-syntax -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 3 October 2003 16:55:47 UTC