Temporal DL-Lite over Finite Traces (Preliminary Results).Alessandro Artale,Andrea Mazzullo,Ana OzakiInternational Workshop Description Logics(2019)引用 23|浏览56暂无评分关键词finite traces,dl-liteAI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要