Checking the Data Complexity of Ontology-Mediated Queries - A Case Study with Non-uniform CSPs and Polyanna.
Description Logic, Theory Combination, and All That(2019)
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要
Description Logic, Theory Combination, and All That(2019)