How to validate an OpenMath document
There are three ways to validate an OpenMath document: against the DTD, against the Relax NG Schema or against the XML Schema. XMLBlueprint XML Editor supports all three.
How to validate an OpenMath document against the DTD
To validate an OpenMath document against the DTD, you must include the OpenMath DTD in your document:
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE OMOBJ SYSTEM "http://www.openmath.org/standard/relaxng/openmath1.dtd">
<OMOBJ
xmlns="http://www.openmath.org/OpenMath">
</OMOBJ>
XMLBlueprint XML Editor will automatically support XML Completion for your OpenMath document based on the DTD. To validate your OpenMath document, open it in XMLBlueprint XML Editor and click XML > Validate.
How to validate an OpenMath document against the Relax NG Schema
To validate an OpenMath document against the Relax NG Schema, you must include the OpenMath Relax NG Schema in the your document:
<?xml version="1.0" encoding="utf-8"?>
<?blueprint
namespace="http://www.openmath.org/OpenMath"
schema="http://www.openmath.org/standard/relaxng/openmath1.rng"?>
<OMOBJ
xmlns="http://www.openmath.org/OpenMath">
</OMOBJ>
XMLBlueprint XML Editor will automaticallty support XML Completion for your OpenMath document based on the Relax NG Schema. To validate your OpenMath document, open it in XMLBlueprint XML Editor and click XML > Validate.
How to validate an OpenMath document against the XML Schema
To validate an OpenMath document against the XML Schema, you must include the OpenMath XML Schema in your document:
<?xml version="1.0" encoding="utf-8"?>
<OMOBJ
xmlns="http://www.openmath.org/OpenMath"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="
http://www.openmath.org/OpenMath
http://www.openmath.org/standard/relaxng/openmath1.xsd">
</OMOBJ>
XMLBlueprint XML Editor will automatically support XML Completion for your OpenMath document based on the XML Schema. To validate your OpenMath document, open it in XMLBlueprint XML Editor and click XML > Validate.
