EL 概念描述的分配分次格及其邻域关系（扩展版）
计算机科学中的逻辑
2019-01-18 v1
摘要
对于描述逻辑 EL，我们考虑由包含序诱导的邻域关系，并证明相应的 EL 概念描述格是分配的、模的、分次的和度量的。这特别意味着秩函数与距离函数的存在。
引用
@article{arxiv.1901.05919,
title = {The Distributive, Graded Lattice of EL Concept Descriptions and its Neighborhood Relation (Extended Version)},
author = {Francesco Kriegel},
journal= {arXiv preprint arXiv:1901.05919},
year = {2019}
}