The complexity of finite model reasoning in description logics
The complexity of finite model reasoning in description logics
复制标题
描述逻辑中有限模型推理的复杂性
DOI:
--
复制
发表时间:
2005
影响因子:
1
通讯作者:
Lidia Tendera
中科院分区:
文献类型:
--
作者:
C. Lutz;U. Sattler;Lidia Tendera