Graph databases; MDA; MDE; Software Engineering; graphs; meta modeling; model verification;
机译:基于设计模式和分层图的知识体系知识表示模型
机译:基于分层图的知识表示系统形式语言生成
机译:使用功能结构图的形式表示的概念设计中基于物理的推理
机译:基于图的知识表示的模型库的形式化设计
机译:地理知识基础的设计和实现(人工智能,地理信息系统,空间数据库,表示,机器学习)。
机译:从正式指南模型开发质量指标和审核协议:知识表示和转换
机译:基于设计模式和分层图的知识体系知识表示模型
机译:基于分层模型的图形知识表示方案中包含/排除冲突检测的高效图算法