会员服务
描述逻辑(DescriptionLogic)是基于对象的知识表示的形式化，它吸取了KL-ONE的主要思想，是一阶谓词逻辑的一个可判定子集。除了知识表示以外，描述逻辑还用在其它许多领域，它被认为是以对象为中心的表示语言的最为重要的归一形式。描述逻辑的重要特征是很强的表达能力和可判定性，它能保证推理算法总能停止，并返回正确的结果。在众多知识表示的形式化方法中，描述逻辑在十多年来受到人们的特别关注，主要原因在于：它们有清晰的模型-理论机制；很适合于通过概念分类学来表示应用领域；并提供了很多有用的推理服务。
Static Analysis of Graph Database Transformations
Arxiv
0+阅读 · 2023年4月20日
On the uniform one-dimensional fragment
Arxiv
0+阅读 · 2023年4月19日
From axioms over graphs to vectors, and back again: evaluating the properties of graph-based ontology embeddings
Arxiv
0+阅读 · 2023年3月29日
Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
Arxiv
0+阅读 · 2023年3月27日
参考链接
微信扫码咨询专知VIP会员
Top