Principles and Practice of Semantic Web Reasoning

The promise of the Semantic Web is to move from a Web of data to a Web of meaning and distributed services. This vision of the Web has attracted - searchersfromdi?erent horizonswith the aims of de?ning newarchitecturesand languages necessary to make it possible, and of developing the ?rst applications of these concepts. This book contains the articles selected for publication and presentation at the workshop Principles and Practice of Semantic Web Reasoning PPSWR 2005, together with three invited talks. Three major aspects of Semantic Web research are represented in this selection: architecture issues, language issues, and reasoning methods. These advances are investigated in the context of new design principles and challenging applications. ThePPSWR2005workshopwaspartoftheDagstuhlseminarontheSem- tic Web organizedby F. Bry (Univ. Munchen, Germany),F. Fages (INRIA Roc- quencourt, France), M. Marchiori (MIT, Cambridge, USA) and H.-J. Ohlbach (Univ. Munchen, Germany),held in Dagstuhl, Germany,11 16September 2005. It was supported by the European Network of Excellence REWERSE (Reas- ing on the Web with Rules and Semantics, This four-year project includes 27 European research and development organizations, and is intended to bolster Europe s expertise in Web reasoning systems and appli- tions.Itconsistsofeightmainworkinggroups: RuleMarkupLanguage , Policy Language, Enforcement, Composition , Composition and Typing , Reasoning- Aware Querying , Evolution , Time and Location , Adding Semantics to the Bioinformatics Web , and Personalized Information Systems . The papers in this volume re?ect most of the topics investigated in REWERSE; one third of them come from outside REWERSE.

Inhalt
Architectures.- SomeWhere in the Semantic Web.- A Framework for Aligning Ontologies.- A Revised Architecture for Semantic Web Reasoning.- Semantic Web Architecture: Stack or Two Towers?.- Languages.- Ten Theses on Logic Languages for the Semantic Web.- Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules.- Logical Reconstruction of RDF and Ontology Languages.- Marriages of Convenience: Triples and Graphs, RDF and XML in Web Querying.- Descriptive Typing Rules for Xcerpt.- A General Language for Evolution and Reactivity in the Semantic Web.- Reasoning.- Use Cases for Reasoning with Metadata or What Have Web Services to Do with Integrity Constraints?.- Principles of Inductive Reasoning on the Semantic Web: A Framework for Learning in -Log.- Computational Treatment of Temporal Notions: The CTTNSystem.- A Geospatial World Model for the Semantic Web.- Generating Contexts for Expression Data Using Pathway Queries.