@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{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{KohlSchmidtsKloeseretal.2021,
  author    = {Kohl, Philipp and Schmidts, Oliver and Kl{\"o}ser, Lars and Werth, Henri and Kraft, Bodo and Z{\"u}ndorf, Albert},
  title     = {STAMP 4 NLP - an agile framework for rapid quality-driven NLP applications development},
  series = {Quality of Information and Communications Technology. QUATIC 2021},
  booktitle = {Quality of Information and Communications Technology. QUATIC 2021},
  publisher = {Springer},
  address   = {Cham},
  isbn      = {978-3-030-85346-4},
  doi       = {10.1007/978-3-030-85347-1_12},
  pages     = {156 -- 166},
  year      = {2021},
  abstract  = {The progress in natural language processing (NLP) research over the last years, offers novel business opportunities for companies, as automated user interaction or improved data analysis. Building sophisticated NLP applications requires dealing with modern machine learning (ML) technologies, which impedes enterprises from establishing successful NLP projects. Our experience in applied NLP research projects shows that the continuous integration of research prototypes in production-like environments with quality assurance builds trust in the software and shows convenience and usefulness regarding the business goal. We introduce STAMP 4 NLP as an iterative and incremental process model for developing NLP applications. With STAMP 4 NLP, we merge software engineering principles with best practices from data science. Instantiating our process model allows efficiently creating prototypes by utilizing templates, conventions, and implementations, enabling developers and data scientists to focus on the business goals. Due to our iterative-incremental approach, businesses can deploy an enhanced version of the prototype to their software environment after every iteration, maximizing potential business value and trust early and avoiding the cost of successful yet never deployed experiments.},
  language  = {en}
}
@inproceedings{SchreiberHirtbachKraftetal.2013,
  author    = {Schreiber, Marc and Hirtbach, Stefan and Kraft, Bodo and Steinmetzler, Andreas},
  title     = {Software in the city: visual guidance through large scale software projects},
  series = {Software Engineering 2013 : Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar-1. M{\"a}rz 2013 in Aachen. (GI-Edition ; 213)},
  booktitle = {Software Engineering 2013 : Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar-1. M{\"a}rz 2013 in Aachen. (GI-Edition ; 213)},
  editor    = {Kowalewski, Stefan},
  publisher = {Ges. f{\"u}r Informatik},
  address   = {Bonn},
  isbn      = {978-3-88579-607-7 ; 978-3-88579-609-1},
  pages     = {213 -- 224},
  year      = {2013},
  language  = {en}
}
@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{KraftSchneider2005,
  author    = {Kraft, Bodo and Schneider, Gerd},
  title     = {Semantic Roomobjects for Conceptual Design Support : A Knowledge-based Approach},
  isbn      = {978-1-4020-3460-2},
  year      = {2005},
  abstract  = {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.},
  subject      = {CAD},
  language  = {en}
}
@inproceedings{SchmidtsKraftSiebigterothetal.2019,
  author    = {Schmidts, Oliver and Kraft, Bodo and Siebigteroth, Ines and Z{\"u}ndorf, Albert},
  title     = {Schema Matching with Frequent Changes on Semi-Structured Input Files: A Machine Learning Approach on Biological Product Data},
  series = {Proceedings of the 21st International Conference on Enterprise Information Systems - Volume 1: ICEIS},
  booktitle = {Proceedings of the 21st International Conference on Enterprise Information Systems - Volume 1: ICEIS},
  isbn      = {978-989-758-372-8},
  doi       = {10.5220/0007723602080215},
  pages     = {208 -- 215},
  year      = {2019},
  language  = {en}
}
@inproceedings{KraftRetkowitz2006,
  author    = {Kraft, Bodo and Retkowitz, Daniel},
  title     = {Rule-Dependencies for Visual Knowledge Specification in Conceptual Design},
  year      = {2006},
  abstract  = {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.},
  subject      = {CAD},
  language  = {en}
}
@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{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}
}