A Reusable Ontology for Computer-Aided Process Engineering Von der Fakultät für Maschinenwesen der Rheinisch-Westfälischen Technischen Hochschule Aachen zur Erlangung des akademischen Grades eines Doktors der Ingenieurwissenschaften genehmigte Dissertation vorgelegt von Jan Morbach Berichter: Univ.-Prof. Dr.-Ing. Wofgang Marquardt Univ.-Prof. Dr.-Ing. habil. Prof. h.c. Dr. h.c. Günter Wozny Tag der mündlichen Prüfung: 30. März 2009 D 82 (Diss. RWTH Aachen University, 2009) 2 Danksagung Mein herzlicher Dank gilt allen gegenwärtigen und ehemaligen Mitarbeiter des Lehrstuhls für Prozesstechnik, die mich bei der Anfertigung dieser Dissertation unterstützt haben – unter anderem, indem sie die Arbeit durch Anregungen und Kritik vorangetrieben, mir bei organisatorischen und technischen Problemen geholfen und in den Kaffeepausen für willkommene Ablenkung von den fachlichen Problemen gesorgt haben. Insbesondere möchte ich mich bei Andreas Wiesner, Lars von Wedel, Manfred Theißen, Aidong Yang, Flavia Weschta und nicht zuletzt bei Herrn Professor Marquardt dafür bedanken, dass sie meine Arbeit Korrektur gelesen und durch ihre inhaltlichen und stilistischen Anmerkungen wesentlich zu deren Gelingen beigetragen haben. Hervorheben möchte ich außerdem das ebenso anregende wie freundschaftliche Arbeitsklima, dank dessen ich meine Tätigkeit am Lehrstuhl stets als angenehm und bereichernd empfunden habe. Außerhalb des Lehrstuhls gilt mein Dank vor allem meinen Eltern, meinen damaligen Mitbewohnern Katrin, Elmar und Olaf sowie meiner Freundin Flavia, die mich bei Schwierigkeiten und Rückschlägen immer wieder motiviert und ermutigt haben. 3 4 Contents Danksagung................................................................................................................................ 3 Contents...................................................................................................................................... 5 Kurzfassung................................................................................................................................ 9 1 Introduction...................................................................................................................... 11 1.1 Motivation for the Use of Ontologies ...................................................................... 11 1.2 The Challenge of Ontology (Re)Usability ............................................................... 12 1.3 Research Context...................................................................................................... 13 1.4 Thesis Overview....................................................................................................... 13 1.5 Publications.............................................................................................................. 14 2 Scientific Background...................................................................................................... 17 2.1 Ontology in Philosophy............................................................................................ 17 2.2 Ontology in Computer Science ................................................................................ 18 2.3 Representation of Formal Ontologies ...................................................................... 19 2.3.1 Classes and Individuals.................................................................................... 20 2.3.2 Relations........................................................................................................... 20 2.3.3 Attributes.......................................................................................................... 22 2.3.4 Axioms............................................................................................................. 22 2.3.5 Modularization ................................................................................................. 23 2.3.6 Notation of Modeling Elements....................................................................... 23 2.4 Informal and Formal Specification of an Ontology ................................................. 25 2.5 What is not an Ontology........................................................................................... 25 2.6 Classification of Ontologies..................................................................................... 27 2.7 Summary .................................................................................................................. 30 3 OntoCAPE........................................................................................................................ 33 3.1 Overview and Structure............................................................................................ 33 3.1.1 Abstraction Layering........................................................................................ 34 3.1.2 Modularization ................................................................................................. 35 3.2 Representation and Dissemination........................................................................... 38 3.3 The Meta Model....................................................................................................... 39 3.3.1 Fundamentals ................................................................................................... 39 3.3.2 Overview and Structure.................................................................................... 42 3.3.3 Fundamental Concepts..................................................................................... 43 5 3.3.4 Data Structures................................................................................................. 43 3.3.5 Mereology ........................................................................................................ 44 3.3.6 Topology .......................................................................................................... 46 3.4 The Upper Level....................................................................................................... 48 3.4.1 Conceptualization of Systems.......................................................................... 50 3.4.2 Network Systems.............................................................................................. 56 3.5 The Conceptual Layer.............................................................................................. 57 3.5.1 Supporting Concepts ........................................................................................ 57 3.5.2 Material ............................................................................................................ 59 3.5.3 Chemical Process System................................................................................. 61 3.5.4 Model ............................................................................................................... 62 3.6 The Application Layers............................................................................................ 62 3.7 Design Principles of OntoCAPE.............................................................................. 65 3.7.1 Coherence......................................................................................................... 65 3.7.2 Conciseness...................................................................................................... 67 3.7.3 Intelligibility..................................................................................................... 69 3.7.4 Adaptability...................................................................................................... 72 3.7.5 Minimal Ontological Commitment.................................................................. 74 3.7.6 Efficiency ......................................................................................................... 75 3.8 Summary .................................................................................................................. 76 4 Related Work.................................................................................................................... 77 4.1 History of OntoCAPE .............................................................................................. 77 4.1.1 VeDa................................................................................................................. 77 4.1.2 CLiP ................................................................................................................. 78 4.1.3 OntoCAPE 1.0.................................................................................................. 79 4.2 Work by Others ........................................................................................................ 81 4.2.1 EngMath........................................................................................................... 82 4.2.2 YMIR ............................................................................................................... 82 4.2.3 PhysSys ............................................................................................................ 83 4.2.4 MDF ................................................................................................................. 84 4.2.5 Plant Ontology and Functional Ontology......................................................... 85 4.2.6 ISO 15926 ........................................................................................................ 86 4.3 Summary .................................................................................................................