位置:成果数据库 > 会议 > 会议详情页
Partitioning ABoxes by converting DL to plain datalog
  • 所属机构名称:中国科学院软件研究所
  • 会议名称:The 20th International Workshop on Description Logics
  • 成果类型:会议
  • 会场:Brixen-Bressanone
  • 相关项目:非命题化的回答集程序推理算法、系统实现以及典型应用研究
同会议论文项目
同项目会议论文