MYNG: Validation with RuleML 1.0 Parameterized Relax NG Schemas

Abstract. The knowledge representation language RuleML Version 1.0 has recently been re-engineered using the Relax NG schema language, introducing several new features, including on-the-fly schemas with finegrained, freely-combinable modules. The web application Modular sYNtax confiGurator (MYNG) provides GUI access to a PHP-based parameterized schema. To ensure monotonicity when combined, the modules follow a schema design pattern that is enforced by a meta-schema. The schema design pattern also facilitates user-extension of the language. The usage of these new features of RuleML are demonstrated at the website http://wiki.ruleml.org/index.php/MYNG#Demo using H. Sivonen’s online, open source validator, http://Validator.nu.