A Tableaux Decision Procedure for SHOIQ

IJCAI（2007）

引用 2|浏览362

暂无评分

摘要

This paper presents a tableaux decision procedure for SHOIQ, the DL underlying OWL DL. To the best of our knowledge, this is the first goal-directed decision procedure for SHOIQ.

查看译文

关键词

goal-directed decision procedure,tableaux decision procedure,underlying owl dl,description logic

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要