First-order rewritability of temporal ontology-mediated queries
IJCAI(2015)
摘要
Aiming at ontology-based data access over temporal, in particular streaming data, we design a language of ontology-mediated queries by extending OWL2 QL and SPARQL with temporal operators, and investigate rewritability of these queries into two-sorted first-order logic with < and PLUS over time.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络