Horn Rewritability vs PTime Query Answering for Description Logic TBoxes.André Hernich,Carsten Lutz,Fabio Papacchini,Frank WolterDescription Logics(2017)引用 19|浏览116暂无评分AI 理解论文溯源树样例生成溯源树,研究论文发展脉络