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).
翻译:W3C Web Ontology语言(OWL)是在许多语义中心应用的基础上,一种强大的知识代表形式主义(OWL),它在许多语义中心应用的基础上是一种强大的知识代表形式主义。由于它的无限制使用使得推理在非常简单的任务中已经无法确定,因此已经查明了表解但可分解的碎片。其中我们关注OW3C 2 RL,它除了支持所有 RDFS 数据类型之外,还提供多种多样的语义构建器。虽然广受欢迎的网络资源(如DBpedia)被放入OWL 2 RL,但只有少数系统为这一片段设计和实施。然而,其中没有一个系统能完全满足以下所有要求:(一) 自由提供并定期维护;(二) 支持查询和SPARQL查询;(三) 在不采用独有名称假设的情况下适当应用同样的A属性;(四) 处理具体的数据类型。为填补空白,我们介绍DaRLing,这是OWL 2 RL 2 RL 的免费数据编辑推理学论。特别是,我们在SparQL 描述其实际应用性设计方法的架构,这是它的一个实验性规划战略。