The MYNG 1.01 Suite for Deliberation RuleML 1.01: Taming the Language Lattice
The MYNG 1.01 Suite for Deliberation RuleML 1.01: Taming the Language Lattice
复制标题
MYNG 1.01 审议规则套件ML 1.01：驯服语言格
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
H. Boley
中科院分区：
文献类型：
--
作者：
Tara Athan;H. Boley
本文介绍了 MYNG 到版本 1.01 的开发，以便将新的 Deliberation RuleML 版本 1.01 Relax NG 模式模块（以及它们定义的 RuleML 子语言）集成到 RuleML 语言网格中，并改进 MYNG GUI 和 REST 界面的功能。提供 MYNG 支持，将 Deliberation RuleML 1.01 的新模块包含到 Datalog、Hornlog 及其许多扩展等子语言的定制模式中。为了将析取数据记录和扩展公开为 RuleML 子语言，MYNG 1.01 GUI 选项更好地与 Deliberation RuleML 功能的新兴结构保持一致。这些修改共同导致了网格中 RuleML 子语言数量的大幅增加。为了帮助“驯服”这种增长，我们引入锚点格作为抽象机制：包含最重要的 Deliberation RuleML 子语言的 RuleML 语言格的子格。提供了用于发现锚点的 MYNG 算法和接口。对于每个锚点，高度模块化的 Relax NG 模式已自动转换为整体 XSD 模式，从而最大限度地提高了与 XML 工具的兼容性。
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 functionality of the MYNG GUI and REST interface. MYNG support is provided 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 extensions as RuleML sublanguages, the MYNG 1.01 GUI options are better aligned with the emergent structure of Deliberation RuleML features. Together, these modifications led to a vastly increased number of RuleML sublanguages in the lattice. To assist in ‘taming’ this growth, we introduce 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 anchors are offered. For each anchor, the highly modular Relax NG schema has been automatically converted into a monolithic XSD schema, maximizing compatibility with XML tools.