A categorical representation of algebraic domains based on variations of rough approximable concepts
A categorical representation of algebraic domains based on variations of rough approximable concepts
复制标题
基于粗略近似概念变化的代数域的分类表示
DOI：
10.1016/j.ijar.2013.09.008
复制
发表时间：
2014-03
影响因子：
3.9
通讯作者：
Mengqiao Huang
中科院分区：
文献类型：
--
作者：
Lankun Guo;Qingguo Li;Mengqiao Huang
在本文中，我们提出了两个变化的粗糙近似概念，并研究了相关的概念层次的序理论性质。我们首先证明了每个粗糙伪概念层次是一个完全分配格，其完全紧元素正是由各个属性生成的粗糙伪概念。接下来，我们提出了超上下文和超概念的概念，并证明了它们提供了一种方法来重组代数域。最后，我们把超上下文定义为一个范畴，在这个范畴中，超映射充当态射。事实证明，这个范畴与代数域的范畴是完全等价的。
In this paper, we propose two variations of rough approximable concepts and investigate the order-theoretic properties of the associated concept hierarchies. We first show that every rough pseudo-concept hierarchy is a completely distributive lattice and its completely compact elements are exactly the rough pseudo-concepts generated from individual attributes. Next, we propose the notions of hyper-contexts and hyper-concepts, and prove that they provide an approach to restructuring algebraic domains. Finally, we set hyper-contexts into a category in which hyper-mappings serve as the morphisms. It turns out that this category is precisely equivalent to that of algebraic domains.
登录
查看更多内容
DOI：
10.1007/bfb0012801
发表时间：
1982-07
期刊：
ACM Transactions on Database Systems (TODS)
影响因子：
--
作者：
D. Scott
通讯作者：
D. Scott
DOI：
10.1007/978-3-319-99368-3
发表时间：
2018-10
期刊：
--
影响因子：
--
作者：
R. Efendi;Voni Apriana Dewi;Rahmadeni;Sri Basriati;Dadang Syarif
通讯作者：
R. Efendi;Voni Apriana Dewi;Rahmadeni;Sri Basriati;Dadang Syarif
粗略的概念格和域
DOI：
10.1016/j.apal.2008.09.028
发表时间：
2009-06
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
通讯作者：
--
影响因子：
9.9
作者：
Guo-Qiang Zhang;Gongqin Shen
通讯作者：
Guo-Qiang Zhang;Gongqin Shen
DOI：
10.1006/inco.1994.1031
发表时间：
1994-04
期刊：
Inf. Comput.
影响因子：
--
作者：
Guo-Qiang Zhang
通讯作者：
Guo-Qiang Zhang