دانلود کتاب Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)

فهرست مطالب :

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