Sequoia: A Consequence Based Reasoner for SROIQ.David Tena Cucala,Bernardo Cuenca Grau,Ian HorrocksDescription Logics(2019)引用 9|浏览199暂无评分关键词consequence based reasoner,sroiqAI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要