Thank you Christophe and David for your explanations.
OxygenXML seems to work find with the XHTML/SVG/MathML DTD provided at
http://www.w3.org/TR/XHTMLplusMathMLplusSVG/
As explained, I used this doctype:
<!DOCTYPE html PUBLIC
"-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN"
"http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd";>
Thanks again,
Andreas
--- In [email protected], "David Leunen" <[EMAIL PROTECTED]>
wrote:
>
> Hi Andreas,
>
> > If I have a
> > compound document (e.g. XHTML, SVG, MathML) - how can I validate
> > these documents properly.
>
> For this particular example, I thought that's what the
> XHTML+MathML+SVG profile was for :
> http://www.w3.org/TR/XHTMLplusMathMLplusSVG/
>
> > Is there a RelaxNG available to cover all
> > these vocabularies in a single document? My preferred XML
environment
> > is currently OxygenXML - I wonder if there are tools either within
> > Oxygen or outside (could also be commandline) that allow me to
> > validate such documents.
>
> I'm afraid I don't know any RelaxNG schema for this, but the
> aforementioned profile provides a DTD.
> The W3C validator support the profile :
> http://validator.w3.org/#validate_by_uri+with_options
> And I'm sure OxygenXML or any other decent xml editor has a way to
> validate a document upon a DTD. If you need more advanced
validation,
> you can always convert the DTD to another schema language (relaxng,
> ...) and extend it.
>
> For other types of combinations, you'll have to write the combined
> profile yourself, or look for it on internet.
>
> cheers
>
> David
>
------------------------------------
-----
To unsubscribe send a message to: [EMAIL PROTECTED]
-or-
visit http://groups.yahoo.com/group/svg-developers and click "edit my
membership"
----Yahoo! Groups Links
<*> To visit your group on the web, go to:
http://groups.yahoo.com/group/svg-developers/
<*> Your email settings:
Individual Email | Traditional
<*> To change settings online go to:
http://groups.yahoo.com/group/svg-developers/join
(Yahoo! ID required)
<*> To change settings via email:
mailto:[EMAIL PROTECTED]
mailto:[EMAIL PROTECTED]
<*> To unsubscribe from this group, send an email to:
[EMAIL PROTECTED]
<*> Your use of Yahoo! Groups is subject to:
http://docs.yahoo.com/info/terms/
