Gellish a Generic Extensible Ontological Language
Total Page:16
File Type:pdf, Size:1020Kb
Gellish A Generic Extensible Ontological Language - Design and Application of a Universal Data Structure - Cover illustration: Museum: Boymans van Beuningen, Rotterdam, The Netherlands Pieter Brueghel de Oude, The Tower of Babel (Genesis 11:1-9) At first everyone spoke the same language… Then people said: “Let's build a city with a tower that reaches to the sky! We'll become famous.” But the LORD said: “Come on! Let's confuse them by making them speak different languages, then they won't be able to understand each other…” So the people had to stop building the city… That is why the city was called Babel (confusing) -because there the LORD confused the language of the whole world… Nederlandse vertaling: Ooit werd er op de hele aarde één enkele taal gesproken… De mensen zeiden: laten we een stad bouwen met een toren die tot in de hemel reikt. Dat zal ons beroemd maken… Maar God dacht: …laten wij …spraakverwarring onder hen teweegbrengen, zodat ze elkaar niet meer verstaan… en de bouw van de stad werd gestaakt… Zo komt het dat die stad Babel (verwarring) heet, want daar bracht God verwarring in de taal die op de hele aarde gesproken werd… Gellish A Generic Extensible Ontological Language - Design and Application of a Universal Data Structure - Proefschrift ter verkrijging van de graad van doctor aan de Technische Universiteit Delft, op gezag van de Rector Magnificus prof.dr.ir. J.T. Fokkema, in het openbaar te verdedigen ten overstaan van een commissie, door het College voor Promoties aangewezen, op woensdag 14 september 2005 te 10.30 uur door Andries Simon Hendrik Paul VAN RENSSEN werktuigkundig ingenieur geboren te Utrecht Dit proefschrift is goedgekeurd door de promotor: Prof.dr.ir. J.L.G. Dietz Samenstelling promotiecommissie: Rector Magnificus, voorzitter Prof.dr.ir. J.L.G. Dietz, Technische Universiteit Delft, promotor Prof.dr. J.S. Dhillon, Technische Universiteit Delft Prof.dr.ir. P.A. Kroes, Technische Universiteit Delft Prof.dr. R.A. Meersman, Vrije Universiteit, Brussel, België Prof.dr.ir. A.W.M. Meijers, Technische Universiteit Delft Prof.dr. B. Smith, State University of New York at Buffalo, United States of America Ir. G.J. van Luijk, Technische Universiteit Delft, voormalig directeur Shell Global Solutions International Published and distributed by: DUP Science DUP Science is an imprint of Delft University Press P.O. Box 98 2600 MG Delft The Netherlands Telephone: +31 15 278 5678 Telefax: +31 15 278 5706 E-mail: [email protected] ISBN 90-407-2597-4 Keywords: ontology, data modeling, standardization, product modeling, language, engineering, dictionary, taxonomy, data exchange, data storage, application interface Copyright © 2005 by A.S.H.P. van Renssen All rights reserved. No part of the material protected by this copyright notice may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying, recording or by any information storage and retrieval system, without the prior permission of the author. Printed in The Netherlands Table of content Table of content Samenvatting ..........................................................................................................................IX Summary.............................................................................................................................. XIX Nomenclature.................................................................................................................... XXIX 1 Introduction....................................................................................................................... 1 1.1 Objectives and approach...............................................................................................................1 1.2 Related initiatives.........................................................................................................................5 2 Philosophical perspective ............................................................................................... 13 2.1 Ontological models.....................................................................................................................13 2.2 Language independent ontologies and the unique identification of anything............................13 2.2.1 Synonyms and Homonyms.............................................................................................17 2.3 Integration of ontologies ............................................................................................................18 2.3.1 The solvability of the classification and ontology integration problem .........................21 2.3.2 The position of individual things in the ontology ..........................................................23 2.4 Summary of basic concepts........................................................................................................24 2.4.1 Presentation and scope ...................................................................................................24 2.4.2 Basic semantic concepts: Standardized types of relationships.......................................24 2.4.3 Definition of additional semantic concepts ....................................................................33 2.4.4 Individual things and Kinds of things (concepts)...........................................................36 2.4.5 Specialization hierarchy .................................................................................................40 2.4.6 The Upper ontology........................................................................................................44 2.4.7 Discriminating aspect for specialization.........................................................................44 2.4.8 Requirements for high quality definitions......................................................................46 2.4.9 Discriminating aspects used for prime specialization ....................................................47 3 Details of the Gellish language....................................................................................... 51 3.1 Language definition versus language usage...............................................................................51 3.2 Phenomena – Totalities and aspects ...........................................................................................53 3.2.1 A specialization hierarchy of phenomena ......................................................................53 3.2.2 Totalities.........................................................................................................................55 3.2.3 Phenomena as nodes in a semantic network...................................................................58 3.2.4 The existence of totalities...............................................................................................58 3.2.5 Aspects ...........................................................................................................................59 3.2.5.1 An ontology of number ...............................................................................................62 3.2.5.2 Mathematical operations and functions .....................................................................63 3.2.5.3 Ontology of space.......................................................................................................64 3.3 Facts and their dynamics – Ordinary facts and Occurrences......................................................64 3.3.1 Atomic facts ...................................................................................................................64 3.3.2 Expression of facts by relations between things.............................................................66 3.3.3 Elementary facts and roles in relations...........................................................................69 3.3.4 Complex facts, messages, product models and templates ..............................................71 3.3.5 Ordinary facts (static facts) ............................................................................................73 3.3.6 Occurrences as dynamic facts.........................................................................................75 3.3.7 The relationship between ordinary facts and occurrences - to be and to become ..........77 3.3.8 Functions, roles and occurrences....................................................................................79 3.3.8.1 What is a function?.....................................................................................................79 3.3.8.2 The term function used to indicate a subtype of occurrence ......................................80 3.3.8.3 The term function used as a reference to a totality in a role......................................82 3.3.8.4 The term function used to indicate a subtype of role..................................................83 3.3.8.5 The term function used to indicate an expression of a correlation ............................85 3.3.8.6 The term function used to indicate a mathematical equation.....................................86 V Table of content 3.3.8.7 Functional decomposition – decomposition of functions (occurrences) ....................88 3.3.9 The ontology of kinds of relations .................................................................................88 3.3.9.1 Relations between individual things...........................................................................90 3.3.9.2 Relations between kinds of things – expression of knowledge ...................................93