...
机译:代数图变换,用于形式化本体更改和不断发展的本体
MIPS EA 2332, Universite de Haute Alsace, 12 rue des Freres Lumiere, 68093 Mulhouse, France;
MIPS EA 2332, Universite de Haute Alsace, 12 rue des Freres Lumiere, 68093 Mulhouse, France;
MIPS EA 2332, Universite de Haute Alsace, 12 rue des Freres Lumiere, 68093 Mulhouse, France;
MIPS EA 2332, Universite de Haute Alsace, 12 rue des Frires Lumiere, 68093 Mulhouse, France;
Ontology evolution; Typed Graph Grammars; Algebraic graph transformations; Consistency; AGG;
机译:使用本体和算法代数进行并行程序的形式化开发
机译:关于形式本体的计算实现:以Isabelle / HOL为例,对时空实例化本体进行形式化
机译:节肢动物的第一个基于器官的本体(节肢动物循环系统 - OARCS的本体论)及其融入了形态学描述的新型形式化方案
机译:用于合并本体的代数图转换
机译:秘密,不断发展和参与性的本体开发:面向最终用户的本体开发方法。
机译:中医知识的形式化组织和使用的本体框架
机译:节肢动物(节肢动物循环系统 - OARC的本体论的基于器官的本体论及其成为形态描述新型形式化方案的整合
机译:使用Ontology在多代理系统中形式化服务规范