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 <Wissensverarbeitung>
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  - 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  - 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  - JOUR
A1  - Kraft, Bodo
T1  - Conceptual design mit ArchiCAD 8 : Forschungsprojekt an der RWTH Aachen
N2  - Projektbericht in GraphisoftNews - Architektur und Bauen in einer vernetzten Welt 3/2003 4 Seiten
KW  - CAD
KW  - CAD
KW  - Bauingenieurwesen
KW  - Architektur
KW  - CAD
KW  - civil engineering
KW  - architecture
Y1  - 2003
ER  - 
TY  - GEN
A1  - Kraft, Bodo
T1  - LexiCAD Step by Step : Bürogebäude : Erstellen eines Grundrisses mit RoomObjects und LexiCAD
N2  - 11 Seiten, 22 Abbildungen 1. Konstruktion des Außenumrisses 2. Festlegung der inneren Räume 3. Einfügen der RoomLinks 4. Wallgenerator
KW  - CAD
KW  - CAD
KW  - Architektur
KW  - CAD
KW  - architecture
Y1  - 2003
ER  - 
TY  - CHAP
A1  - Groebel, Simone
A1  - Werner, Frederik
A1  - Jörres, Niklas
A1  - Jansen, F.
A1  - Kasper, Katharina
A1  - Schiffels, Johannes
A1  - Sprenger, B.
A1  - Baumann, Marcus
A1  - Schöning, Michael Josef
A1  - Selmer, Thorsten
T1  - Entwicklung einer Sensor-Überwachung für Biogasanlagen auf Basis von Prozessdaten einer Parallelanlage
T2  - 10. Dresdner Sensor-Symposium : Dresden, 5. - 7. Dezember 2011 ; miniaturisierte analytische Verfahren, Hochtemperatur-Sensoren, Sensoren für Bioprozess- und Verfahrenstechnik, Sensoren für die Medizin, Chemische Verfahrenstechnik, Lebensmittelanalytik, innovative Sensorlösungen, Sensoren für die Wasserqualität, Selbstüberwachung / Gerald Gerlach ... (Hg.)
N2  - Beim Ausbau nachhaltiger, regenerativer Energieversorgung hat die Umwandlung von organischer Biomasse in Biogas ein großes Potential. Der zugrundeliegende, komplexe biologische Prozess wird noch immer unzureichend verstanden und bedarf systematischer Untersuchungen der Prozessparameter, um einen hohen Ertrag bei guter Gasqualität zu ermöglichen. Die Fragestellungen zur Entschlüsselung des Prozesses sind sowohl verfahrenstechnischer als auch mikrobiologischer Natur. Aus mikrobiologischer Sicht ist die Kenntnis der tatsächlich beteiligten prozesstragenden Mikroorganismen von erheblicher Bedeutung, aus verfahrenstechnischer Sicht die Kenntnis der physikalischen und chemischen Faktoren, welche die mikrobiologischen Prozesse und kontrollieren. Im Zusammenspiel aller dieser Parameter wird die Biogasbildung befördert oder behindert, bis zum Abbruch des Prozesses.
Eine mögliche Kontrollmethode ist die Messung der metabolischen Aktivität prozesstragender Organismen.
Diese soll, beruhend auf fundierten Prozessdaten, gewonnen durch eine Parallelanlage, mit einem lichtadressierbaren potentiometrischen Sensor-System (LAPS) realisiert werden. Dieser Sensor ist in der Lage, pH-Wert-änderungen zu detektieren, die durch den Stoffwechsel der auf dem Chip immobilisierten Organismen hervorgerufen werden, um eine Online-Überwachung von Biogasanlagen zu ermöglichen.
Y1  - 2011
SN  - 978-3-942710-53-4
U6  - https://doi.org/10.5162/10dss2011/4.3
N1  - Dresdner Beiträge zur Sensorik 43 ;
Dresdner Sensor-Symposium ; 10 ; 2011 ; Dresden ; Forschungsgesellschaft für Messtechnik, Sensorik und Medizintechnik ; Zehntes Dresdner Sensor-Symposium ; Dresdner Sensor-Symposium ; (10 ; 2011.12.05-07 ; Dresden)
SP  - 81
EP  - 84
PB  - TUDpress
CY  - Dresden
ER  - 
TY  - JOUR
A1  - Schöning, Michael Josef
A1  - Lüth, H.
A1  - Thust, M.
T1  - Neue Ansätze für Chemo- und Biosensoren in Siliziumtechnik
JF  - Physikalische Blätter. 53 (1997), H. 5
Y1  - 1997
SN  - 0031-9279
SP  - 423
EP  - 427
ER  - 
TY  - JOUR
A1  - Schmitt, G.
A1  - Faßbender, F.
A1  - Lüth, H.
A1  - Schöning, Michael Josef
A1  - Buss, G.
A1  - Kranzmann, A.
A1  - Gramberg, U.
T1  - Korrosionsschutzwirkung von Passivierungsschichten am Beispiel eines Mikroelektrodenarrays
JF  - Werkstoffe für die Energietechnik / Symposium 3
Y1  - 1999
SN  - 3-527-29940-8
N1  - Serie Werkstoffwoche '98 ; 3
SP  - 345
EP  - 350
PB  - Wiley-VCH
CY  - Weinheim [u.a.]
ER  - 
TY  - JOUR
A1  - Schöning, Michael Josef
A1  - Thust, M.
A1  - Steffen, A.
A1  - Müller-Veggian, Mattea
T1  - Kapazitives Sensorarray in Siliziumtechnik für die Prozeßüberwachung
JF  - ITG-Fachbericht. 148 (1998)
Y1  - 1998
SN  - 0341-0196
SP  - 257
EP  - 263
ER  - 
TY  - JOUR
A1  - Artmann, Gerhard
A1  - Teitel, P.
A1  - Schmid-Schönbein, H.
T1  - Variable rheologische Antwort der Erythrozyten auf den Einfluß von Xantinderivaten (Coffein): Experimentelle Differenzierung von "Responders" und "Nonresponders"
JF  - 11. Jahrestagung der Gesellschaft für Mikrozirkulation
Y1  - 1987
SP  - 100
EP  - 105
PB  - Karger [u.a.]
CY  - Basel [u.a.]
ER  -