OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: meta-specs (was RE: A few things I noticed about w3c's xml-schema)

> Or what does it mean to say "instances are equal"?

The logic is, "if all instances that are valid in A are valid in B,
and vice versa, and the same for invalidity, then A and B are equal
schemata". The logic breaks down if the "level of invalidity" is
variable, which for most XML schema languages, it isn't. For example,
you can imagine a schema langauge which advises people not to place an
element somewhere, and gives a "50%" no-no level. Then, to say that
schemata are the same, you'd have to say that all levels are the same,
which you couldn't do if you were constraining with a langauge which
doesn't allow levels (you'd have to set it at 100% or 0%).

Kindest Regards,
Sean B. Palmer
@prefix : <http://webns.net/roughterms/> .
:Sean :hasHomepage <http://purl.org/net/sbp/> .