The MYNG 1.01 Suite for Deliberation RuleML 1.01: Taming the Language Lattice

Tara Athan, Harold Boley · 2014

harold.boley AT unb.ca Abstract. This article describes the development of MYNG to Version 1.01 in order to integrate the new Deliberation RuleML Version 1.01 Relax NG schema modules – and the RuleML sublanguages they define – into the RuleML language lattice, as well as to improve the function-ality of the MYNG GUI and REST interface. MYNG support is pro-vided for including the new modules of Deliberation RuleML 1.01 into customized schemas for sublanguages such as Datalog+, Hornlog+, and their many extensions. To also expose Disjunctive Datalog and exten-sions as RuleML sublanguages, the MYNG 1.01 GUI options are better aligned with the emergent structure of Deliberation RuleML features. To-gether, these modifications led to a vastly increased number of RuleML sublanguages in the lattice. To assist in ‘taming ’ this growth, we intro-duce the anchor lattice as an abstraction mechanism: a sublattice of the RuleML language lattice containing the most significant Deliberation RuleML sublanguages. A MYNG algorithm and interface to discover an-chors are offered. For each anchor, the highly modular Relax NG schema has been automatically converted into a monolithic XSD schema, maxi-mizing compatibility with XML tools. 1

Read the paper · More papers on PaperTik