标题： 一阶c-表示与基于成本的语义之间的语义桥梁：初步观点 显示英文标题

标题： Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective

摘要： 加权知识库和基于成本的语义是由Bienvenu等人引入的一种近期形式化方法，用于在给定知识库不一致的情况下进行本体中介数据查询。这是通过为知识库（KB）中的每个陈述添加一个权重，然后根据它违反KB中规则的频率为每个DL解释分配一个成本来实现的。在本文中，我们将这种方法与c-表示法进行比较，c-表示法是一种非单调推理的形式，最初由Kern-Isberner提出。c-表示法描述了一种在第一阶情况下解释可反驳概念包含的方法。这是通过为每个解释分配一个数值排名，对每个违反的条件进行惩罚来实现的。我们在语义层面上比较了这两种方法。特别是，我们表明在某些条件下，加权知识库和一组可反驳条件可以生成解释上的相同顺序，因此在相对成本方面语义结构等价。此外，我们比较了两种情况下的蕴含关系，其中某些概念在两种形式化方法中可以等价表达。我们的结果有可能有助于进一步研究基于成本的语义和c-表示法。 显示英文摘要

摘要： Weighted-knowledge bases and cost-based semantics represent a recent formalism introduced by Bienvenu et al. for Ontology Mediated Data Querying in the case where a given knowledge base is inconsistent. This is done by adding a weight to each statement in the knowledge base (KB), and then giving each DL interpretation a cost based on how often it breaks rules in the KB. In this paper we compare this approach with c-representations, a form of non-monotonic reasoning originally introduced by Kern-Isberner. c-Representations describe a means to interpret defeasible concept inclusions in the first-order case. This is done by assigning a numerical ranking to each interpretations via penalties for each violated conditional. We compare these two approaches on a semantic level. In particular, we show that under certain conditions a weighted knowledge base and a set of defeasible conditionals can generate the same ordering on interpretations, and therefore an equivalence of semantic structures up to relative cost. Moreover, we compare entailment described in both cases, where certain notions are equivalently expressible in both formalisms. Our results have the potential to benefit further work on both cost-based semantics and c-representations