Results 1 
8 of
8
Reengineering of Configurations Based on Mathematical Concept Analysis
 ACM Transactions on Software Engineering and Methodology
, 1996
"... We apply mathematical concept analysis to the problem of reengineering configurations. Concept analysis will reconstruct a taxonomy of concepts from a relation between objects and attributes. We use concept analysis to infer configuration structures from existing source code. Our tool NORA/RECS will ..."
Abstract

Cited by 61 (7 self)
 Add to MetaCart
We apply mathematical concept analysis to the problem of reengineering configurations. Concept analysis will reconstruct a taxonomy of concepts from a relation between objects and attributes. We use concept analysis to infer configuration structures from existing source code. Our tool NORA/RECS will accept source code, where configurationspecific code pieces are controlled by the preprocessor. The algorithm will compute a socalled concept lattice, which —when visually displayed — offers remarkable insight into the structure and properties of possible configurations. The lattice not only displays tinegrained dependencies between configurations, but also visualizes the overall quality of configuration structures according to software engineering principles. In a second step, interferences between configurations can be analyzed in order to restructure or simplify configurations. Interferences showing up in the lattice indicate high coupling and low cohesion between configuration concepts. Source files can then be simplified according to the lattice structure. Finally, we show how governing expressions can be simplified by utilizing an isomorphism theorem of mathematical concept analysis.
Local Scaling in Conceptual Data Systems
 LNAI
, 1996
"... this paper we present the technique of local scaling, where only concepts of the outer scale, which are differentiated further by the inner scale, are refined. This is also called dynamic scaling, since only at runtime the result of the request to the underlying database determines where to scale a ..."
Abstract

Cited by 16 (7 self)
 Add to MetaCart
this paper we present the technique of local scaling, where only concepts of the outer scale, which are differentiated further by the inner scale, are refined. This is also called dynamic scaling, since only at runtime the result of the request to the underlying database determines where to scale and where not. 2 Conceptual Data Systems
Acquiring Expert Knowledge for the Design of Conceptual Information Systems
 Studer (Hrsg.): Knowledge Acquisition, Modeling, and Management. Proc. EKAW '99, LNAI 1621
, 1999
"... Conceptual Information Systems unfold the conceptual structure of data stored in relational databases. In the design phase of the system, conceptual hierarchies have to be created which describe different aspects of the data. In this paper, we describe two principal ways of designing such concep ..."
Abstract

Cited by 7 (2 self)
 Add to MetaCart
Conceptual Information Systems unfold the conceptual structure of data stored in relational databases. In the design phase of the system, conceptual hierarchies have to be created which describe different aspects of the data. In this paper, we describe two principal ways of designing such conceptual hierarchies, data driven design and theory driven design, and discuss advantages and drawbacks. The central part of the paper shows how Attribute Exploration, a knowledge acquisition tool developed by B. Ganter can be applied for narrowing the gap between both approaches.
Concept Exploration  A Tool for Creating and Exploring Conceptual Hierarchies
 IN PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON CONCEPTUAL STRUCTURES
, 1997
"... Concept exploration is a knowledge acquisition tool for interactively exploring the hierarchical structure of finitely generated lattices. Applications comprise the support of knowledge engineers by constructing a type lattice for conceptual graphs, and the exploration of large formal contexts in fo ..."
Abstract

Cited by 7 (3 self)
 Add to MetaCart
Concept exploration is a knowledge acquisition tool for interactively exploring the hierarchical structure of finitely generated lattices. Applications comprise the support of knowledge engineers by constructing a type lattice for conceptual graphs, and the exploration of large formal contexts in formal concept analysis.
The Concept Classification of a Terminology Extended by Conjunction and Disjunction
 PRICAI'96: TOPICS IN ARTIFICIAL INTELLIGENCE. LNAI 1114
, 1996
"... ..."
A Geometrical Heuristic for Drawing Concept Lattices
 GRAPH DRAWING, VOLUME 894 OF LECTURE NOTES IN COMPUTER SCIENCE
, 1995
"... Concept lattices are used in formal concept analysis to represent data conceptually so that the original data are still recognizable. Their line diagrams should reflect the semantical relationships within the data. Up to now, no satisfactory automatic drawing programs for this task exist. The geomet ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
Concept lattices are used in formal concept analysis to represent data conceptually so that the original data are still recognizable. Their line diagrams should reflect the semantical relationships within the data. Up to now, no satisfactory automatic drawing programs for this task exist. The geometrical heuristic is the most successful tool for drawing concept lattices manually. It uses a geometric representation as intermediate step between the list of upper covers and the line diagram of the lattice.
Free Distributive Completions of Partial Complete Lattices
"... The free distributive completion of a partial complete lattice is the complete lattice that it is freely generated by the partial complete lattice `in the most distributive way'. This can be described as being a universal solution in the sense of universal algebra. Free distributive completions ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
(Show Context)
The free distributive completion of a partial complete lattice is the complete lattice that it is freely generated by the partial complete lattice `in the most distributive way'. This can be described as being a universal solution in the sense of universal algebra. Free distributive completions generalize the constructions of tensor products and of free completely distributive complete lattices over partially ordered sets.
A Concept Analysis Framework
"... Concept analysis has been found a powerful data analysis tool since its invention over 10 years ago. More and more applications use concept analysis in a domain specific way. However, software designers are still forced to devote too much work on implementation of analysis techniques because most ex ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
Concept analysis has been found a powerful data analysis tool since its invention over 10 years ago. More and more applications use concept analysis in a domain specific way. However, software designers are still forced to devote too much work on implementation of analysis techniques because most existing software can not be incorporated into new applications. This paper describes a software framework that provides domain independent abstractions for the two most common concept analysis structures: binary relations and concept lattices. The framework is implemented as an extension of the popular Tool Command Language (Tcl) for concept analysis operations. Tcl is an interpreted extension language which already provides abstractions for common application tasks. Using the framework the software designer develops software in a convenient interpreter environment and takes advantage of the provided abstractions for concept analysis. This can lead either to small “scriptable ” tools, or, in conjunction with other extensions of Tcl, to full featured applications. As an example an interactive and graphical concept analysis workbench has been developed. The described software and its documentation is distributed via the world wide web.