Absorption for ABoxes
Wu, Jiewen; Hudek, Alexander; Toman, David; Weddell, Grant
- 期刊名称Journal of Automated Reasoning
- 作者Wu, Jiewen; Hudek, Alexander; Toman, David; Weddell, Grant
- 卷第53卷
- 期第3期
- 印刷ISSN0168-7433
- 电子ISSN1573-0670
- 文件大小34382.91KB
- 发表时间2014-10
- DOI10.1007/s10817-014-9304-2
- 页码215-243