Ontologies Merging; Typed Graph Grammars; Algebraic Graph Transformations; GROM;
机译:代数图变换,用于形式化本体更改和不断发展的本体
机译:基于概念代数的本体合并方法
机译:代数图转换可以为模型转换做什么
机译:用于合并本体的代数图转换
机译:大学代数和图形计算器在函数及其变换研究中的作用
机译:Mac:使用邻接代数模型和分类合并组件
机译:使用图转换自动合并特征模型
机译:洛伦兹群的射影李代数与同素变换