@inproceedings{HeerRedkowitzKraft2008,
  author    = {Heer, Thomas and Redkowitz, Daniel and Kraft, Bodo},
  title     = {Tool Support for the Integration of Light-Weight Ontologies},
  isbn      = {978-3-642-00670-8},
  year      = {2008},
  abstract  = {Abstract of the authors: In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task of merging several ontologies, covering specific subdomains, into one united ontology has to be solved. Many approaches for ontology integration aim at automating the process of ontology alignment. However, a complete automation is not feasible, and user interaction is always required. Nevertheless, most ontology integration tools offer only very limited support for the interactive part of the integration process. In this paper, we present a novel approach for the interactive integration of ontologies. The result of the ontology integration is incrementally updated after each definition of a correspondence between ontology elements. The user is guided through the ontologies to be integrated. By restricting the possible user actions, the integrity of all defined correspondences is ensured by the tool we developed. We evaluated our tool by integrating different regulations concerning building design.},
  subject      = {Ontologie <Wissensverarbeitung>},
  language  = {de}
}
@inproceedings{KirchhofKraft2004,
  author    = {Kirchhof, M. and Kraft, Bodo},
  title     = {UML-based modeling of architectural knowledge and design},
  year      = {2004},
  abstract  = {IASSE-2004 - 13th International Conference on Intelligent and Adaptive Systems and Software Engineering eds. W. Dosch, N. Debnath, pp. 245-250, ISCA, Cary, NC, 1-3 July 2004, Nice, France We introduce a UML-based model for conceptual design support in civil engineering. Therefore, we identify required extensions to standard UML. Class diagrams are used for elaborating building typespecific knowledge: Object diagrams, implicitly contained in the architect's sketch, are validated against the defined knowledge. To enable the use of industrial, domain-specific tools, we provide an integrated conceptual design extension. The developed tool support is based on graph rewriting. With our approach architects are enabled to deal with semantic objects during early design phase, assisted by incremental consistency checks.},
  subject      = {UML},
  language  = {en}
}
@inproceedings{KirchhofKraft2011,
  author    = {Kirchhof, Michael and Kraft, Bodo},
  title     = {Dogmatisches „Entweder agil oder klassisch" im Projektmanagement hat ausgedient - die richtige Mischung macht's},
  series = {Projekt-Sternstunden : strahlende Erfolge durch Kompetenz},
  booktitle = {Projekt-Sternstunden : strahlende Erfolge durch Kompetenz},
  publisher = {GPM},
  address   = {N{\"u}rnberg},
  isbn      = {978-3-924841-60-7},
  pages     = {414 -- 425},
  year      = {2011},
  language  = {de}
}
@inproceedings{Kraft2004,
  author    = {Kraft, Bodo},
  title     = {Conceptual design tools for civil engineering},
  year      = {2004},
  abstract  = {Applications of Graph Transformations with Industrial Relevance Lecture Notes in Computer Science, 2004, Volume 3062/2004, 434-439, DOI: http://dx.doi.org/10.1007/978-3-540-25959-6_33 This paper gives a brief overview of the tools we have developed to support conceptual design in civil engineering. Based on the UPGRADE framework, two applications, one for the knowledge engineer and another for architects allow to store domain specific knowledge and to use this knowledge during conceptual design. Consistency analyses check the design against the defined knowledge and inform the architect if rules are violated.},
  subject      = {CAD},
  language  = {en}
}
@inproceedings{KraftMeyerNagl2002,
  author    = {Kraft, Bodo and Meyer, Oliver and Nagl, Manfred},
  title     = {Graph technology support for conceptual design in civil engineering},
  isbn      = {3-18-318004-9},
  year      = {2002},
  abstract  = {In: Advances in intelligent computing in engineering : proceedings of the 9.International EG-ICE Workshop ; Darmstadt, (01 - 03 August) 2002 / Martina Schnellenbach-Held ... (eds.) . - D{\"u}sseldorf: VDI-Verl., 2002 .- Fortschritt-Berichte VDI, Reihe 4, Bauingenieurwesen ; 180 ; S. 1-35 The paper describes a novel way to support conceptual design in civil engineering. The designer uses semantical tools guaranteeing certain internal structures of the design result but also the fulfillment of various constraints. Two different approaches and corresponding tools are discussed: (a) Visually specified tools with automatic code generation to determine a design structure as well as fixing various constraints a design has to obey. These tools are also valuable for design knowledge specialist. (b) Extensions of existing CAD tools to provide semantical knowledge to be used by an architect. It is sketched how these different tools can be combined in the future. The main part of the paper discusses the concepts and realization of two prototypes following the two above approaches. The paper especially discusses that specific graphs and the specification of their structure are useful for both tool realization projects.},
  subject      = {CAD},
  language  = {en}
}
@inproceedings{KraftNagl2003,
  author    = {Kraft, Bodo and Nagl, Manfred},
  title     = {Support of Conceptual Design in Civil Engineering by Graph-based Tools},
  year      = {2003},
  abstract  = {WS GTaD-2003 - The 1st Workshop on Graph Transformations and Design ed Grabska, E., Seite 6-7, Jagiellonian University Krakow. 2 pages},
  subject      = {CAD},
  language  = {de}
}
@inproceedings{KraftNagl2004,
  author    = {Kraft, Bodo and Nagl, Manfred},
  title     = {Parameterized specification of conceptual design tools in civil engineering},
  year      = {2004},
  abstract  = {Applications of Graph Transformations with Industrial Relevance Lecture Notes in Computer Science, 2004, Volume 3062/2004, 90-105, DOI: 10.1007/978-3-540-25959-6_7 In this paper we discuss how tools for conceptual design in civil engineering can be developed using graph transformation specifications. These tools consist of three parts: (a) for elaborating specific conceptual knowledge (knowledge engineer), (b) for working out conceptual design results (architect), and (c) automatic consistency analyses which guarantee that design results are consistent with the underlying specific conceptual knowledge. For the realization of such tools we use a machinery based on graph transformations. In a traditional PROGRES tool specification the conceptual knowledge for a class of buildings is hard-wired within the specification. This is not appropriate for the experimentation platform approach we present in this paper, as objects and relations for conceptual knowledge are due to many changes, implied by evaluation of their use and corresponding improvements. Therefore, we introduce a parametric specification method with the following characteristics: (1) The underlying specific knowledge for a class of buildings is not fixed. Instead, it is built up as a data base by using the knowledge tools. (2) The specification for the architect tools also does not incorporate specific conceptual knowledge. (3) An incremental checker guarantees whether a design result is consistent with the current state of the underlying conceptual knowledge (data base).},
  subject      = {CAD},
  language  = {de}
}
@inproceedings{KraftNagl2003,
  author    = {Kraft, Bodo and Nagl, Manfred},
  title     = {Semantic tool support for conceptual design},
  year      = {2003},
  abstract  = {ITCE-2003 - 4th Joint Symposium on Information Technology in Civil Engineering ed Flood, I., Seite 1-12, ASCE (CD-ROM), Nashville, USA In this paper we discussed graph based tools to support architects during the conceptual design phase. Conceptual Design is defined before constructive design; the used concepts are more abstract. We develop two graph based approaches, a topdown using the graph rewriting system PROGRES and a more industrially oriented approach, where we extend the CAD system ArchiCAD. In both approaches, knowledge can be defined by a knowledge engineer, in the top-down approach in the domain model graph, in the bottom-up approach in the in an XML file. The defined knowledge is used to incrementally check the sketch and to inform the architect about violations of the defined knowledge. Our goal is to discover design error as soon as possible and to support the architect to design buildings with consideration of conceptual knowledge.},
  subject      = {CAD},
  language  = {en}
}
@inproceedings{KraftRetkowitz2005,
  author    = {Kraft, Bodo and Retkowitz, Daniel},
  title     = {Operationale Semantikdefinition f{\"u}r konzeptuelles Regelwissen},
  year      = {2005},
  abstract  = {In: Forum Bauinformatik 2005 : junge Wissenschaftler forschen / [Lehrstuhl Bauinformatik, Brandenburgische Technische Universit{\"a}t Cottbus. Frank Schley ... (Hrsg.)]. - Cottbus : Techn. Universit{\"a}t 2005. S. 1-10 ISBN 3-934934-11-0 Mittels eines operationalen Ansatzes zur Semantikdefinition wird am Bei-spiel des konzeptuellen Geb{\"a}udeentwurfs ein Regelsystem formalisiert. Dazu werdenzwei Teile, zum einen das Regelwissen, zum anderen ein konzeptueller Entwurfsplan zun{\"a}chst informell eingef{\"u}hrt und dann formal beschrieben. Darauf aufbauend wird die Grundlage f{\"u}r eine Konsistenzpr{\"u}fung des konzeptuellen Entwurfs gegen das Regel-wissen formal angeben},
  subject      = {CAD},
  language  = {de}
}
@inproceedings{KraftRetkowitz2006,
  author    = {Kraft, Bodo and Retkowitz, Daniel},
  title     = {Graph Transformations for Dynamic Knowledge Processing},
  year      = {2006},
  abstract  = {In: Proceedings of the 39th Annual Hawaii International Conference on System Sciences, 2006. HICSS '06 http://dx.doi.org/10.1109/HICSS.2006.200 The conceptual design phase at the beginning of the building construction process is not adequately supported by any CAD-tool. Conceptual design support needs regarding two aspects: first, the architect must be able to develop conceptual sketches that provide abstraction from constructive details. Second, conceptually relevant knowledge should be available to check these conceptual sketches. The paper deals with knowledge to formalize for conceptual design. To enable domain experts formalizing knowledge, a graph-based specification is presented that allows the development of a domain ontology and design rules specific for one class of buildings at runtime. The provided tool support illustrates the introduced concepts and demonstrates the consistency analysis between knowledge and conceptual design.},
  subject      = {CAD},
  language  = {de}
}