Modular Ontologies

This book constitutes a collection of research achievements mature enough to provide a firm and reliable basis on modular ontologies. It gives the reader a detailed analysis of the state of the art of the research area and discusses the recent concepts, theories and techniques for knowledge modularization.

The 13 papers presented in this book were all carefully reviewed before publication. They have been organized in three parts: Part I gives a general introduction to the idea and issues characterizing modularization and offers an in-depth analysis of properties, criteria and knowledge import techniques for modularization. Part II describes four major research proposals for creating modules from an existing ontology either by partitioning an ontology into a collection of modules or by extracting one or more modules from the ontology. Part III reports on collaborative approaches where modules that pre-exist are linked together through mappings to form a virtual large ontology.

Autorentext
Dr. Heiner Stuckenschmidt holds a post-doc position in the Knowledge Representation and Reasoning Group at the Vrije Universiteit Amsterdam where he received his PhD for work on Ontology-Based Information Sharing on the Semantic Web. His works includes Semantic Web related topics such as ontology languages, knowledge-based meta data management and robust and scalable terminological reasoning. Christine Parent is a full professor, at the Computer ScienceDepartment, University of Burgundy at Dijon, France. She is part-time professor at HEC INFORGE of the University of Lausanne. She got her Ph.D. from the University of Paris VI, in 1987. She has been teaching and researching in data management systems since 1970. She authored many papers in well-known journals and conferences on the development of an extended entity-relationship approach, on schema integration methodologies and spatio-temporal database modeling. She gave several tutorials on these topics and served on many program committees of international conferences.

Klappentext

This book constitutes a collection of research achievements mature enough to provide a firm and reliable basis on modular ontologies. It gives the reader a detailed analysis of the state of the art of the research area and discusses the recent concepts, theories and techniques for knowledge modularization.

The 13 papers presented in this book were all carefully reviewed before publication. They have been organized in three parts: Part I gives a general introduction to the idea and issues characterizing modularization and offers an in-depth analysis of properties, criteria and knowledge import techniques for modularization. Part II describes four major research proposals for creating modules from an existing ontology either by partitioning an ontology into a collection of modules or by extracting one or more modules from the ontology. Part III reports on collaborative approaches where modules that pre-exist are linked together through mappings to form a virtual large ontology.

Zusammenfassung

This book constitutes a collection of research achievements mature enough to provide a firm and reliable basis on modular ontologies. It discusses the recent concepts, theories and techniques for knowledge modularization.

Inhalt
Modularization Approaches.- to Part I.- An Overview of Modularity.- Formal Properties of Modularisation.- Criteria and Evaluation for Ontology Modularization Techniques.- On Importing Knowledge from Ontologies..- Modularity in Databases.- Partitioning and Extraction of Modules.- to Part II.- Extracting Modules from Ontologies: A Logic-Based Approach.- Structure-Based Partitioning of Large Ontologies.- Web Ontology Segmentation: Extraction, Transformation, Evaluation.- Traversing Ontologies to Extract Views.- Connecting Existing Ontologies.- to Part III.- Formal and Conceptual Comparison of Ontology Mapping Languages.- Ontology Integration Using ?-Connections.- Composing Modular Ontologies with Distributed Description Logics.- Package-Based Description Logics.