Temporalizing Ontology-Based Data Access
Temporalizing Ontology-Based Data Access
复制标题
时化基于本体的数据访问
DOI：
10.1007/978-3-642-38574-2_23
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
M. Lippmann
中科院分区：
文献类型：
--
作者：
F. Baader;S. Borgwardt;M. Lippmann
基于本体的数据访问（OBDA）将数据库中的查询应答推广到演绎，因为（i）事实库不被假设为包含完整的知识（即，不存在封闭世界假设），以及（ii）查询中出现的谓词的解释受本体论的公理约束。OBDA已被详细调查的情况下，本体表示由一个适当的描述逻辑（DL）和查询是合取查询。出于态势感知应用，我们调查的时间的情况下，OBDA的扩展。作为查询语言，我们考虑扩展著名的命题时态逻辑LTL的合取查询可以发生在命题变量的地方，作为本体语言，我们使用的原型表达DL。对于所得到的实例的时间OBDA，我们调查的数据复杂性和组合复杂性的查询蕴涵问题。
Ontology-based data access (OBDA) generalizes query answering in databases towards deduction since (i) the fact base is not assumed to contain complete knowledge (i.e., there is no closed world assumption), and (ii) the interpretation of the predicates occurring in the queries is constrained by axioms of an ontology. OBDA has been investigated in detail for the case where the ontology is expressed by an appropriate Description Logic (DL) and the queries are conjunctive queries. Motivated by situation awareness applications, we investigate an extension of OBDA to the temporal case. As query language we consider an extension of the well-known propositional temporal logic LTL where conjunctive queries can occur in place of propositional variables, and as ontology language we use the prototypical expressive DL. For the resulting instance of temporalized OBDA, we investigate both data complexity and combined complexity of the query entailment problem.
登录
查看更多内容
具有交集、复合、角色反转和角色同一性的表达描述逻辑的决策过程
DOI：
--
发表时间：
2001
期刊：
International Joint Conference on Artificial Intelligence
影响因子：
--
作者：
F. Massacci
通讯作者：
F. Massacci
使用分析表和相关方法进行自动推理
DOI：
10.1007/978-3-642-40537-2_17
发表时间：
2013
期刊：
--
影响因子：
--
作者：
Khodadadi M
通讯作者：
Khodadadi M
具有交集的非确定性命题动态逻辑是可判定的
DOI：
--
发表时间：
1984
期刊：
Symposium on Computation Theory
影响因子：
--
作者：
R. Danecki
通讯作者：
R. Danecki
关于时态查询应答的复杂性
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
F. Baader;Stefan Borgwardt;M. Lippmann
通讯作者：
M. Lippmann