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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:42:15 GMT