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 - Nagl, Manfred T1 - Parameterized specification of conceptual design tools in civil engineering N2 - 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). KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2004 ER - TY - CHAP A1 - Platen, J. A1 - Poghossian, Arshak A1 - Schöning, Michael Josef T1 - Präparation von selbstjustierenden Nanostrukturen mittels Schichtausdehnungstechnik T2 - Sensoren und Mess-Systeme 2006 : Vorträge der 13. ITG/GMA-Fachtagung vom 13. bis 14.3.2006 in Freiburg/Breisgau Y1 - 2006 SN - 3-8007-2939-3 SP - 277 EP - 280 PB - VDE Verl. CY - Berlin ER - TY - CHAP A1 - Kirchner, Patrick A1 - Henkel, H. A1 - Näther, Niko A1 - Spelthahn, H. A1 - Schneider, A. A1 - Berger, J. A1 - Kolstad, J. A1 - Friedrich, P. A1 - Schöning, Michael Josef T1 - RFID-basiertes Sensorsystem zur Realisierung intelligenter Verpackungen für die Nahrungsmittelindustrie T2 - KMU - innovativ: IKT 2008. CD-ROM : BMBF-Statustagung KMU - innovativ: IKT, Darmstadt, 17. - 18. Nov. 2008 Y1 - 2008 IS - CD-ROM-Ausg. PB - BMBF CY - Berlin ER - TY - CHAP A1 - Laack, Walter van T1 - Schnittstelle Tod: Wo stehen wir nach 40 Jahren NTE-Forschung? Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:101:1-201603132912 SN - 978-3-936624-30-4 (Print-Ausgabe) SN - 978-3-936624-32-8 (Online-Ausgabe) N1 - Tagungsbeiträge des 4. Europäischen Seminars am 07. November 2015 in Aachen zum Thema Nahtoderfahrungen mit dem Serientitel: "Schnittstelle Tod" PB - van Laack GmbH CY - Aachen ER - TY - CHAP A1 - Schusser, Sebastian A1 - Bäcker, Matthias A1 - Leinhos, Marcel A1 - Krischer, M. A1 - Wenzel, L. A1 - Poghossian, Arshak A1 - Wagner, Patrick A1 - Schöning, Michael Josef T1 - Sensorkonzept zur in vitro Echtzeitmessung des Degradationsverhaltens von biodegradierbaren Biopolymeren T2 - 11. Dresdner Sensor-Symposium : 9.-11.12.2013 Y1 - 2013 SN - 978-3-9813484-5-3 SP - 174 EP - 177 ER - TY - CHAP A1 - Kraft, Bodo A1 - Nagl, Manfred T1 - Support of Conceptual Design in Civil Engineering by Graph-based Tools N2 - WS GTaD-2003 - The 1st Workshop on Graph Transformations and Design ed Grabska, E., Seite 6-7, Jagiellonian University Krakow. 2 pages KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2003 ER - TY - CHAP A1 - Kreyer, Jörg A1 - Stollenwerk, Dominik A1 - Schöning, Michael Josef T1 - Tagung des Forschernachwuchses der FH Aachen 20. November 2013 / ed.: J. Kreyer, D. Stollenwerk, M. J. Schöning Y1 - 2013 PB - FH Aachen CY - Aachen ER - TY - CHAP A1 - Heer, Thomas A1 - Redkowitz, Daniel A1 - Kraft, Bodo T1 - Tool Support for the Integration of Light-Weight Ontologies N2 - 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. KW - Ontologie KW - Knowledge Management KW - Ontology Engineering KW - Information Integration Tools KW - Human Factors Y1 - 2008 SN - 978-3-642-00670-8 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 -