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  - 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  -