Ontology; Ontological modeling; Isabelle/DOF;
机译:关于形式本体的计算实现:以Isabelle / HOL为例,对时空实例化本体进行形式化
机译:具有正式本体的注释建模:对非正式本体的启示
机译:FLINN:表征技术增强的正式,非正式和非正式学习状况的框架
机译:使用isabelle本体框架与非正式的正式联系起来
机译:连接正式知识和非正式知识的途径:比较小学生用有理数的比例或整体角度构造数学知识的方法。
机译:将非正式叙词表转换为正式本体:一种可行性生物医学知识再利用研究
机译:从欧洲的角度验证非正规和非正式学习 - 将验证安排与国家资格框架联系起来
机译:将家庭长者的正式和非正式支持系统联系起来,特别是家庭功能