位置：成果数据库 > 会议 > 会议详情页
Complexity of conservative extensions and inseparability in the description logic <br class="
  • 所属机构名称：广西师范大学
  • 会议名称：8th Chinese Semantic Web and Web Scinence Conference(CSWS 2014)
  • 时间：2014.12
  • 成果类型：会议
  • 相关项目：本体的保守扩充及其推理机制研究
作者： Yuming Shen|Ju Wang|
同会议论文项目
本体的保守扩充及其推理机制研究
期刊论文 17 会议论文 2
同项目会议论文
On the translation from quantified modal logic into the counterpart theory revisited