机译:代码理论为第三本体论
Physicsnumber theorycode theoretic;
机译:Ontorat:基于本体设计模式自动生成新的本体术语,注释和公理
机译:通过临界公理提取对OWL本体的理由
机译:生物医学本体中的正式公理改善了相关数据的分析和解释
机译:存在对本体公理的访问限制的大规模本体推理的通用方法
机译:通过最大化的公理选择:V = Ultimate L VS强制公理
机译:Ontorat:基于本体设计模式自动生成新的本体术语注释和公理
机译:Ontorat:基于本体设计模式自动生成新的本体术语,注释和公理