TY - JOUR A1 - Kraft, Bodo A1 - Nagl, Manfred T1 - Graphbasierte Werkzeuge zur Unterstützung des konzeptuellen Gebäudeentwurfs JF - Vernetzt-kooperative Planungsprozesse im Konstruktiven Ingenieurbau : Grundlagen, Methoden, Anwendung und Perspektiven zur vernetzten Ingenieurkooperation / Uwe Rüppel (Hrsg.) Y1 - 2007 SN - 978-3-540-68102-1 SP - 155 EP - 175 PB - Springer CY - Berlin ER - TY - JOUR A1 - Kraft, Bodo A1 - Nobisrath, Ulrich A1 - Salumaa, Priit A1 - Schultchen, Erhard T1 - Fujaba based Tool Development for eHome Systems / Nobisrath, Ulrich ; Salumaa, Priit ; Schultchen, Erhard ; Kraft, Bodo JF - Electronic Notes in Theoretical Computer Science. 127 (2004), H. 1 Y1 - 2004 SN - 1571-0661 N1 - Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004) SP - 89 EP - 99 ER - TY - CHAP A1 - Kraft, Bodo A1 - Retkowitz, Daniel T1 - Operationale Semantikdefinition für konzeptuelles Regelwissen N2 - In: Forum Bauinformatik 2005 : junge Wissenschaftler forschen / [Lehrstuhl Bauinformatik, Brandenburgische Technische Universität Cottbus. Frank Schley ... (Hrsg.)]. - Cottbus : Techn. Universität 2005. S. 1-10 ISBN 3-934934-11-0 Mittels eines operationalen Ansatzes zur Semantikdefinition wird am Bei-spiel des konzeptuellen Gebäudeentwurfs ein Regelsystem formalisiert. Dazu werdenzwei Teile, zum einen das Regelwissen, zum anderen ein konzeptueller Entwurfsplan zunächst informell eingeführt und dann formal beschrieben. Darauf aufbauend wird die Grundlage für eine Konsistenzprüfung des konzeptuellen Entwurfs gegen das Regel-wissen formal angeben KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2005 ER - TY - CHAP A1 - Kraft, Bodo A1 - Retkowitz, Daniel T1 - Graph Transformations for Dynamic Knowledge Processing N2 - 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. KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2006 ER - TY - CHAP A1 - Kraft, Bodo A1 - Retkowitz, Daniel T1 - Rule-Dependencies for Visual Knowledge Specification in Conceptual Design N2 - In: Proc. of the 11th Intl. Conf. on Computing in Civil and Building Engineering (ICCCBE-XI) ed. Hugues Rivard, Montreal, Canada, Seite 1-12, ACSE (CD-ROM), 2006 Currently, the conceptual design phase is not adequately supported by any CAD tool. Neither the support while elaborating conceptual sketches, nor the automatic proof of correctness with respect to effective restrictions is currently provided by any commercial tool. To enable domain experts to store the common as well as their personal domain knowledge, we develop a visual language for knowledge formalization. In this paper, a major extension to the already existing concepts is introduced. The possibility to define rule dependencies extends the expressiveness of the knowledge definition language and contributes to the usability of our approach. KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2006 ER - TY - CHAP A1 - Kraft, Bodo A1 - Schneider, Gerd T1 - Semantic Roomobjects for Conceptual Design Support : A Knowledge-based Approach N2 - In: Computer Aided Architectural Design Futures 2005 2005, Part 4, 207-216, DOI: http://dx.doi.org/10.1007/1-4020-3698-1_19 The conceptual design at the beginning of the building construction process is essential for the success of a building project. Even if some CAD tools allow elaborating conceptual sketches, they rather focus on the shape of the building elements and not on their functionality. We introduce semantic roomobjects and roomlinks, by way of example to the CAD tool ArchiCAD. These extensions provide a basis for specifying the organisation and functionality of a building and free architects being forced to directly produce detailed constructive sketches. Furthermore, we introduce consistency analyses of the conceptual sketch, based on an ontology containing conceptual relevant knowledge, specific to one class of buildings. KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2005 SN - 978-1-4020-3460-2 ER - TY - CHAP A1 - Kraft, Bodo A1 - Wilhelms, N. T1 - Interactive distributed knowledge support for conceptual building design N2 - In: Net-distributed Co-operation : Xth International Conference on Computing in Civil and Building Engineering, Weimar, June 02 - 04, 2004 ; proceedings / [ed. by Karl Beuke ...] . - Weimar: Bauhaus-Univ. Weimar 2004. - 1. Aufl. . Seite 1-14 ISBN 3-86068-213-X International Conference on Computing in Civil and Building Engineering <10, 2004, Weimar> Summary In our project, we develop new tools for the conceptual design phase. During conceptual design, the coarse functionality and organization of a building is more important than a detailed worked out construction. We identify two roles, first the knowledge engineer who is responsible for knowledge definition and maintenance; second the architect who elaborates the conceptual de-sign. The tool for the knowledge engineer is based on graph technology, it is specified using PROGRES and the UPGRADE framework. The tools for the architect are integrated to the in-dustrial CAD tool ArchiCAD. Consistency between knowledge and conceptual design is en-sured by the constraint checker, another extension to ArchiCAD. KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2004 SN - 3-86068-213-X ER - TY - CHAP A1 - Kraft, Bodo A1 - Wilhelms, Nils T1 - Visual Knowledge Specification for Conceptual Design N2 - Proc. of the 2005 ASCE Intl. Conf. on Computing in Civil Engineering (ICCC 2005) eds. L. Soibelman und F. Pena-Mora, Seite 1-14, ASCE (CD-ROM), Cancun, Mexico, 2005 Current CAD tools are not able to support the fundamental conceptual design phase, and none of them provides consistency analyses of sketches produced by architects. To give architects a greater support at the conceptual design phase, we develop a CAD tool for conceptual design and a knowledge specification tool allowing the definition of conceptually relevant knowledge. The knowledge is specific to one class of buildings and can be reused. Based on a dynamic knowledge model, different types of design rules formalize the knowledge in a graph-based realization. An expressive visual language provides a user-friendly, human readable representation. Finally, consistency analyses enable conceptual designs to be checked against this defined knowledge. In this paper we concentrate on the knowledge specification part of our project. KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2005 ER - TY - CHAP A1 - Kraft, Bodo A1 - Zöll, Axel ED - Engstler, Martin T1 - Von der Langstrecke zum Sprint – Agile Methoden in traditionellen Unternehmen T2 - Projektmanagement und Vorgehensmodelle 2014 : soziale Aspekte und Standardisierung Y1 - 2014 SN - 978-3-88579-630-5 N1 - Gemeinsame Tagung der Fachgruppen Projektmanagement (WI-PM) und Vorgehensmodelle (WI-VM) im Fachgebiet Wirtschaftsinformatik der Gesellschaft für Informatik e.V. ; 16. und 17. Oktober 2014 in Stuttgart ; PVM <1, 2014, Stuttgart> GI-Edition : Proceedings ; 236 SP - 35 EP - 46 PB - Gesellschaft für Informatik CY - Bonn ER - TY - JOUR A1 - Kramer, Friederike A1 - Halamkova, Lenka A1 - Poghossian, Arshak A1 - Schöning, Michael Josef A1 - Katz, Evgeny A1 - Halamek, Jan T1 - Biocatalytic analysis of biomarkers for forensic identification of ethnicity between Caucasian and African American JF - The analyst. August 2013 Y1 - 2013 SN - 1364-5528 (E-Journal); 0003-2654 (Print) VL - Vol. 138 SP - 6251 EP - 6257 PB - Royal Society of Chemistry CY - Cambridge ER -