Konstanz, Univ., Magisterarb., 2003.

Diss. Univ. Berlin, 2005.

Techn. Universiẗat, Diss., 2004--Darmstadt.

Habilitationsschrift--Universität Osnabrück, 1995. / Bibliogr. p. 203-206.

L'homme face à ses œuvres: création et créativité dans la pensée de Roman Ingarden (Résumé de thèse)J’ai consacré ma thèse de doctorat à la question de la création et de la créativité chez Ingarden. L’impulsion fondamentale qui a animé mon travail était que ces deux notions, abordées uniquement de manière très brèves par Ingarden, permettaient, lorsqu’on retraçait le champ conceptuel dans lequel Ingarden les plongeait, de donner une lecture de la philosophie d’Ingarden qui démontre sa profonde unité. En effet, la question de la création mobilise la plupart des champs de la philosophie ingardénienne :ontologie, axiologie, anthropologie et, selon le type de création envisagée, esthétique ou éthique. J’étais arrivé à cette conviction en prenant au sérieux la proposition d’Ingarden, émise au soir de sa vie (1969), qu’il fallait faire de la rencontre créatrice, de la communion entre l’artiste (ou le spectateur) et l’œuvre d’art le cœur de toute esthétique. Et, précisait encore Ingarden, reconnaître le rôle capital des valeurs esthétiques dans cette expérience. J’ai dès lors été conduit à analyser en détail les deux pôles de cette rencontre créative :l’œuvre d’art et le sujet humain, qui m’ont tous deux ramenés à la question des valeurs. L’œuvre d’art se donne en effet dans une expérience émotionnelle particulière, qui se joue autour de la constitution d’un objet esthétique par le spectateur, constitution qui n’est pas maîtrisée par la conscience mais s’opère dans un rapport presque érotique, dans désir puissant d’entrer en contact intuitif avec les valeurs esthétiques de l’œuvre. J’ai ensuite longuement développé l’anthropologie ingardénienne jusqu’à en cristalliser le cœur :l’idée que l’homme se forge en tant que personne responsable par la réalisation de valeurs, de toutes sortes de valeurs (éthiques, esthétiques, scientifiques, etc.), qui donnent sens et importance à sa vie. J’ai alors pu proposer l’idée que cette « rencontre créatrice », qu’Ingarden plaçait au cœur de son esthétique, devait être comprise comme un concept plus vaste, qui, correctement modalisée, pouvait rendre compte de la plupart nos expériences axiologiques, aussi bien esthétiques qu’éthiques, scientifiques que simplement pratiques. Ceci m’a alors permis d’opérer le lien avec la philosophie de la culture d’Ingarden que celui-ci ébauche dans quelques textes très brefs, presque poétiques, et dotés d’une grande force évocatrice. En effet, si Ingarden refuse fermement l’idéalisme de Husserl, qu’il interprète comme la conviction que le monde réel est créé par la conscience, il est par contre pleinement conscient de l’importance des transformations opérées par l’homme sur son environnement et, surtout, de la surimposition sur cet environnement d’un monde nouveau, purement intentionnel :notre monde culturel, parcouru de multiples systèmes de valeurs. La fragilité de ce monde – qui ne peut survivre sans notre secours et notre attention constante –, tout autant que sa richesse – car lui seul nous permet de nous épanouir en tant qu’humains – signe alors tout le paradoxe tragique autant que grandiose de la condition humaine :ce qui, pour nous, importe le plus est ce qui est le plus fragile ;mais c’est justement grâce à cette fragilité que nous pouvons le modeler et dépasser radicalement avec lui le monde naturel. / Doctorat en Philosophie / info:eu-repo/semantics/nonPublished

The original and still a major purpose of ontologies in computer and information sciences is to serve for the semantic integration of represented content, facilitating information system interoperability. Content can be data, information, and knowledge, and it can be distributed within or across these categories. A myriad of languages is available for representation. Ontologies themselves are artifacts which are expressed in various languages. Different such languages are utilized today, including, as well-known representatives, predicate logic, subsuming first-order (predicate) logic (FOL), in particular, and higher-order (predicate) logic (HOL); the Web Ontology Language (OWL) on the basis of description logics (DL); and the Unified Modeling Language (UML). We focus primarily on languages with formally defined syntax and semantics. This overall picture immediately suggests questions of the following kinds: What is the relationship between an ontology and the language in which it is formalized? Especially, what is the impact of the formal semantics of the language on the formalized ontology? How well understood is the role of ontologies in semantic integration? Can the same ontology be represented in multiple languages and/or in distinct ways within one language? Is there an adequate understanding of whether two expressions are intensionally/conceptually equivalent and whether two ontologies furnish the same ontological commitments? One may assume that these questions are resolved. Indeed, the development and adoption of ontologies is widespread today. Ontologies are authored in a broad range of different languages, including offering equally named ontologies in distinct languages. Much research is devoted to techniques and technologies that orbit ontologies, for example, ontology matching, modularization, learning, and evolution, to name a few. Ontologies have found numerous beneficial applications, and hundreds of ontologies have been created, considering solely the context of biomedical research. For us, these observations increase the relevance of the stated questions and close relatives thereof, and raise the desire for solid theoretical underpinnings. In the literature of computer and information sciences, we have found only few approaches that tackle the foundations of ontologies and their representation to allow for answering such questions or that actually answer them. We elaborate an analysis of the subject as the first item of central contributions within this thesis. It mainly results in the identification of a vicious circularity in (i) the intended use of ontologies to mediate between formal representations and (ii) solely exploiting formal semantic notions in representing ontologies and defining ontology-based equivalence as a form of intensional/conceptual equivalence. On this basis and in order to overcome its identified limitations, we contribute a general model-theoretic semantic account, named \\\"ontological semantics\\\". This kind of semantics takes the approach of assigning arbitrary entities as referents of atomic symbols and to link syntactic constructions with corresponding ontological claims and commitments. In particular, ontological semantics targets the avoidance of encoding effects in its definition. Therefore we argue that this semantic account is well suited for interpreting formalized ontologies and for defining languages for the representation of ontologies. It is further proposed as a fundament for envisioned novel definitions of the intensional equivalence of expressions, in potential deviation from only being formally equivalent under set-theoretic semantics. The thesis is defended that a particular usage of a formalism and its respective vocabulary should be accompanied by establishing an ontological semantics that is tailored to that use of the formalism, in parallel to the formal semantics of the language, in order to capture the ontological content of the formal representation for adequate reuse in other formalisms. Accordingly, we advocate ontological semantics as a useful framework for justifying translations on an intensional basis. Despite all deviations of ontological semantics from its set-theoretic blueprint, close relationships between the two can be shown, which allow for using established FOL and DL reasoners while assuming ontological semantics.:* Preface ** Abstract ** Contents ** Acknowledgments ** Foreword 1 Introduction 1.1 Background 1.2 Motivations 1.3 Theses, Objectives and Scope 1.4 Outline and Contributions 1.5 Formal Preliminaries 2 Foundations on Languages, Semantics, and Ontology 2.1 Formal Syntax and Formal Semantics 2.2 The Role of Ontologies in Semantic Integration 2.3 Ontological Analysis and Meta-Ontological Architecture 2.4 Conceptualization of Categories and Relations - CR 2.5 Summary of the Analysis and Next Steps 3 Views on Set-Theoretic Semantics of Classical Predicate Logics 3.1 Tarskian Model Theory and Set-Theoretic Superstructure 3.2 Formal Semantics and Choices for Entity Postulation 3.3 Theory View of Semantics 3.4 Aims for an Ontologically Neutral Semantic Account 4 Ontological Semantics 4.1 Definition of Ontological Structures by Analogy to the Set-Theoretic Approach 4.2 Properties and Further Background for Ontological Structures in General 4.3 Ontological Models & Signature Aspects 4.4 Semantics of Predication 4.5 Semantics of Connectives and Quantifiers & Semantic Notions 4.6 Relations between Ontological and Set-Theoretic Semantics 4.7 Ontological Neutrality 5 Ontological Engineering and Applications 5.1 Formalization Method for Ontology Representation in FOL 5.2 Ontological Usage Schemes 5.3 Glimpse on Characterizing Modular Representation 5.4 Applications in the Biomedical Domain 6 Contributions to Ontologies 6.1 Formalizations of Categories and Relations - CR 6.2 Remarks on Further Contributions 6.3 Ontologies of Time 7 Conclusion and Continuation 7.1 Resume 7.2 Related Work 7.3 Conclusions 7.4 Beginnings of Future Work Appendix A Additional Preliminaries A.1 Logical Notions A.2 Axiomatic Systems of Set and Number Theory B Axioms of the CR Taxonomy in OWL B.1 Asserted OWL Class Axioms B.2 Asserted OWL Object Property Axioms C Lists of Figures and Tables C.1 List of Figures C.2 List of Tables D Abbreviations, Acronyms and Names D.1 Abbreviations D.2 Acronyms and Names E References E.1 Literature References E.2 Web References/List of URLs F Work and Author Information ** Selbständigkeitserklärung (Declaration of Authorship) ** Bibliographic Data ** Scientific Record

Das Hauptziel dieser Arbeit ist die Konzeption und Entwicklung von Blocking-Verfahren. Diese sollen anhand ausgewählter Matchprobleme in den Lebenswissenschaften vergleichend analysiert werden. Dabei kommen verschiedene Fragenstellungen auf: Wie stark reduzieren verschiedene Blocking-Verfahren den Suchraum? Führt die Verwendung von Blocking-Verfahren zu einem effizienteren Matching im Vergleich zum vollständigen Abgleich der Ontologien? Werden dabei Mappings von hoher Qualität bestimmt?

Handreichung zur Ontologie ListDB Onto als wichtiger Baustein für die Interoperabilität zwischen verschiedenen Videodaten in der Verkehrsforschung.

Ce travail est un travail de philosophie de la religion et d'ontologie. L'ontologie réaliste du théisme manifeste les présupposés ontologiques du théisme. Il est montré d'abord que l'antiréalisme n'est pas une bonne analyse du théisme et ensuite que le théisme suppose l'usage des catégories d'objet et de propriété pour pouvoir analyser ce qui rend vraies des propositions théistes comme ou .

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.