论文标题
亲爱的：Sparql查询下的猫头鹰2 rl本体论推理的数据编写器
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
论文作者
论文摘要
W3C Web本体语言（OWL）是许多以语义为中心的应用程序的强大的知识表示形式主义。由于其不受限制的用法使推理在非常简单的任务中已经无法确定，因此已经确定了表达性但可决定性的片段。其中，我们专注于OWL 2 RL，除了支持所有RDFS数据类型外，它还提供了各种语义构造函数。尽管流行的Web资源（例如DBPEDIA）属于OWL 2 RL，但仅设计和实现了少数系统。但是，他们都没有完全满足以下所有Desiderata：（i）免费获得并定期维护； （ii）支持查询答案和SPARQL查询； （iii）在不采用唯一名称假设的情况下正确应用SAMEAS属性； （iv）处理具体数据类型。为了填补空白，我们提出了Darling，这是SPARQL查询下的OWL 2 RL本体论推理的可免费可用的Datalog重写器。特别是，我们描述了它的体系结构，其实施的重写策略以及实验评估的结果，该评估证明了其实际适用性。本文在逻辑编程（TPLP）的理论和实践中正在考虑。
The W3C Web Ontology Language (OWL) is a powerful knowledge representation formalism at the basis of many semantic-centric applications. Since its unrestricted usage makes reasoning undecidable already in case of very simple tasks, expressive yet decidable fragments have been identified. Among them, we focus on OWL 2 RL, which offers a rich variety of semantic constructors, apart from supporting all RDFS datatypes. Although popular Web resources - such as DBpedia - fall in OWL 2 RL, only a few systems have been designed and implemented for this fragment. None of them, however, fully satisfy all the following desiderata: (i) being freely available and regularly maintained; (ii) supporting query answering and SPARQL queries; (iii) properly applying the sameAs property without adopting the unique name assumption; (iv) dealing with concrete datatypes. To fill the gap, we present DaRLing, a freely available Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. In particular, we describe its architecture, the rewriting strategies it implements, and the result of an experimental evaluation that demonstrates its practical applicability. This paper is under consideration in Theory and Practice of Logic Programming (TPLP).
