Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Since its start ten years ago, the International Conference in Formal Ontology on Information Systems (FOIS) has explored the multiple perspectives on the notion of ontology that have arisen from such diverse research communities as philosophy, logic, computer science, cognitive science, linguistics, and various scientific domains. As ontologies have been applied in new and exciting domains such as the World Wide Web, bioinformatics and geographical information systems, it has become evident that there is a need for ontologies that have been developed with solid theoretical foundations based on philosophical, linguistic and logical analysis. Similarly, there is also a need for theoretical research that is driven by the issues that have been raised by recent work in the more applied domains. FOIS is intended to be a forum in which to explore this interplay between the theoretical insights of formal ontology and their application to information systems and emerging semantic technologies. Themes emerging from this volume give a snapshot of current issues within the fields of formal ontology and ontological engineering, as well as providing a glimpse of future research directions.

IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.

Some of the areas we publish in:

-Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences

Author(s): C. Eschenbach, M. Gruninger
Series: Frontiers in Artificial Intelligence and Applications 183
Publisher: IOS Press
Year: 2008

Language: English
Pages: 340

Title page......Page 1
Preface......Page 5
Conference Organisation......Page 7
Contents......Page 11
Invited Talks......Page 13
Ontology-Driven Information Systems: Past, Present and Future......Page 15
Foundations......Page 31
Ontology (Science)......Page 33
The Ontological Square and Its Logic......Page 48
Formal Semantics and Ontologies: Towards an Ontological Account of Formal Semantics......Page 61
Ontological Engineering......Page 75
Cognitive Context and Arguments from Ontologies for Learning......Page 77
KEMM: A Knowledge Engineering Methodology in the Medical Domain......Page 91
Similarity as a Quality Indicator in Ontology Engineering......Page 104
Objects......Page 119
A New Classification of Collectives......Page 121
Artefacts and Roles: Modelling Strategies in a Multiplicative Ontology......Page 133
Reasoning and Integration......Page 147
Towards Principles for Ontology Integration......Page 149
Complexity of Reasoning with Expressive Ontology Mappings......Page 163
Island Reasoning for ALCHI Ontologies......Page 176
Scientific Domain Ontologies......Page 191
Selecting and Customizing a Mereology Ontology for Its Reuse in a Pharmaceutical Product Ontology......Page 193
An Upper-Level Ontology for Chemistry......Page 207
SKIing with DOLCE: Toward an e-Science Knowledge Infrastructure......Page 220
Processes and Events......Page 233
On the Syntax and Semantics of Effect Axioms......Page 235
Introducing Realist Ontology for the Representation of Adverse Events......Page 249
Vagueness......Page 263
Granular Models for Vague Predicates......Page 265
Counterparts in Language and Space: Similarity and S-Connection......Page 278
An Ontology for Grounding Vague Geographic Terms......Page 292
Formal Concept Analysis......Page 307
Utility Ontology Development with Formal Concept Analysis......Page 309
A Proposal for an Interactive Ontology Design Process Based on Formal Concept Analysis......Page 323
Author Index......Page 337