位置：成果数据库 > 会议 > 会议详情页
Translating Ontologies to Defa
  • 所属机构名称：中国科学院计算技术研究所
  • 成果类型：会议
  • 相关项目：本体的构建理论和推理实现
同会议论文项目
本体的构建理论和推理实现
期刊论文 9 会议论文 8
同项目会议论文
An Ontology-based First-order
The Ontology Revision
The rough logic and roughness
Logical connections of stateme
Building an ontology and knowl
The graph-theoretical properti
A Logical Foundation for Ontol