Re: added diagrams to "Using XML Schema Data Types..."

From: Jim Hendler (
Date: 02/07/01

At 12:40 PM -0600 2/7/01, Dan Connolly wrote:
>To have the parsing of one document depend on the
>contents of another conflicts with that goal/principle.
>Another way to state this principle is that
>the knowledge contained in two documents, X and Y,
>is always the conjunction of the knowledge in X with
>the knowledge in Y. To allow X to change what Y says
>in some non-monotonic way doesn't seem scalable/workable
>to me.

I absolutely agree with the first of these and completely disagree 
with the second, so maybe they're not exactly equivalent... since I 
tend to like examples, here's one

Web page 1 says:  X is true
Web page 2 says:  X is False

The parsing of web page 1 or two is not changed by reading the other, 
but I don't know a good monotonic way to combine these two without 
problem (solution is for me to tag them, or reject them, or something 
- but I need to be allowed to recognize conflict)

web page 1 says: 1 is an integer
web page 2 says: 1 is a real
web page 3 says: 1 is not an integer

are these cases inherentely different?  I'm not sure,

Prof. James Hendler
Computer Science Dept		703-696-2238 (phone)
Univ of Maryland		703-696-2201 (Fax)
College Park, MD 20853

This archive was generated by hypermail 2.1.4 : 04/02/02 EST