W3C home > Mailing lists > Public > public-sw-meaning@w3.org > October 2003

Re: Tim v. Bijan use case (was Re: Proposed issue:...)

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
Message-Id: <1065214516.2698.1223.camel@dirk.dm93.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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:42:15 GMT