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 - 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 - BOOK A1 - Kraft, Bodo T1 - Semantische Unterstützung des konzeptuellen Gebäudeentwurfs Y1 - 2007 SN - 978-3-8322-6045-3 N1 - Berichte aus der Informatik ; Zugl.: Aachen, Techn. Hochsch., Diss., 2007 PB - Shaker CY - Aachen ER - 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 - JOUR A1 - Kraft, Bodo A1 - Heer, Thomas A1 - Retkowitz, Daniel T1 - Algorithm and Tool for Ontology Integration Based on Graph Rewriting / Heer, Thomas ; Retkowitz, Daniel ; Kraft, Bodo JF - Applications of Graph Transformations with Industrial Relevance / Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers Y1 - 2008 SN - 978-3-540-89019-5 N1 - Lecture Notes in Computer Science ; 5088 SP - 577 EP - 582 ER - TY - JOUR A1 - Kraft, Bodo A1 - Heer, Thomas A1 - Retkowitz, Daniel T1 - Incremental Ontology Integration / Heer, Thomas ; Retkowitz, Daniel ; Kraft, Bodo JF - Proceedings of the 10th International Conference on Enterprise Information Systems : Barcelona, Spain, June 12 - 16, 2008 / organized by INSTICC, Institute for Systems and Technologies of Information, Control and Communication ... [Ed. by José Cordeiro ...] Y1 - 2008 N1 - International Conference on Enterprise Information Systems ; (10 : ; 2008.06.12-16 : ; Barcelona) ; ICEIS ; (10 : ; 2008.06.12-16 : ; Barcelona) SP - 13 EP - 28 PB - INSTICC CY - Setubal ER - TY - JOUR A1 - Hacker, Tobias A1 - Kraft, Bodo A1 - Zöll, Axel T1 - Projektzuschnitt für die inkrementelle Systementwicklung im Konzernverbund Y1 - 2011 SN - 978-3-8322-9990-3 N1 - Zusammenspiel von Vorgehensmodellen und Organisationsformen, Workshop der Fachgruppe WI-VM der Gesellschaft für Informatik, 18 SP - 78 EP - 83 ER -