research
∙
03/06/2019
Incremental Computation of Concept Diagrams
Suppose a formal context K=(G,M,I) is given, whose concept lattice B(K) ...
research
∙
01/17/2019
The Distributive, Graded Lattice of EL Concept Descriptions and its Neighborhood Relation (Extended Version)
For the description logic EL, we consider the neighborhood relation whic...
research
∙
08/01/2018