论文标题
描述的出处逻辑ELHR
Provenance for the Description Logic ELHr
论文作者
论文摘要
我们解决了在ELHR本体论中处理出处信息的问题。我们考虑了基于半段和扩展经典数据出处的最近引入的基于本体的数据访问的设置，其中本体公理会用出处令牌注释。结果继承了涉及的公理的出处，从而产生了出处多项式作为注释。我们分析了ELHR案例的语义，并表明连词的存在构成了处理出处的各种困难，其中一些可以通过假设半度性的倍增性来缓解。在这个假设下，我们研究了三个问题：本体论完成，以富源的形式，计算相关公理以进行结果以及查询答案。
We address the problem of handling provenance information in ELHr ontologies. We consider a setting recently introduced for ontology-based data access, based on semirings and extending classical data provenance, in which ontology axioms are annotated with provenance tokens. A consequence inherits the provenance of the axioms involved in deriving it, yielding a provenance polynomial as an annotation. We analyse the semantics for the ELHr case and show that the presence of conjunctions poses various difficulties for handling provenance, some of which are mitigated by assuming multiplicative idempotency of the semiring. Under this assumption, we study three problems: ontology completion with provenance, computing the set of relevant axioms for a consequence, and query answering.
