[Home] [By Thread] [By Date] [Recent Entries]

  • From: "Rick Jelliffe" <rjelliffe@a...>
  • To: "Jirka Kosek" <jirka@k...>
  • Date: Thu, 30 Nov 2006 22:27:28 +1100 (EST)

Jirka Kosek said:
> Henri Sivonen wrote:
>
>> One thing that I have learned in the HTML5 conformance checking project
>> is that validation when augmented with Schematron and editing with RELAX
>> NG only call for different schemas.
>
> In what sense different? You have RELAX NG + Schematron and for
> validation you use both schemas, but XML editor will probably use only
> RELAX NG when doing code completition. What's the problem here?

Validation of packing constraints are a really specialized problem:
possibly you can do 1 dimension packing checks with Schematron, but 2-D or
3D packing constraints on arbitary number objects or arbitrary sizes is
not something that you would expect from a general purpose schema or
simple constraint language. Maybe a constraint language with higher-order
logic could do it...or a schema language that was more like a spreadsheet.

But things like table validation are a degenerate case of packing
checking. I think Schematron can certainly validate edge constraints (the
max number of cols may not exceed the @colspec attribute, for example) but
not where you have arbitrary tables with irregular cells, elidable cell
declarations, spans, straddles, and so on.

Cheers
Rick Jelliffe


[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]


Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member