This book constitutes the refereed proceedings of the Third International Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2005, held in Dagstuhl Castle, Germany in September 2005.
The 12 revised full papers presented together with 3 invited contributions were carefully reviewed and selected for inclusion in the book. The major aspects of semantic Web research are addressed in the papers, namely semantic Web architectures, language issues, and formal reasoning methods. The advances are investigated in the context of new design principles and challenging applications.
Author(s): P. Adjiman, P. Chatalic, F. Goasdoué, M. -C. Rousset, L. Simon (auth.), François Fages, Sylvain Soliman (eds.)
Series: Lecture Notes in Computer Science 3703 : Information Systems and Applications, incl. Internet/Web, and HCI
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 166
Tags: Information Systems Applications (incl.Internet); Information Storage and Retrieval; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Software Engineering
Front Matter....Pages -
SomeWhere in the Semantic Web....Pages 1-16
A Framework for Aligning Ontologies....Pages 17-31
A Revised Architecture for Semantic Web Reasoning....Pages 32-36
Semantic Web Architecture: Stack or Two Towers?....Pages 37-41
Ten Theses on Logic Languages for the Semantic Web....Pages 42-49
Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules....Pages 50-64
Logical Reconstruction of RDF and Ontology Languages....Pages 65-71
Marriages of Convenience: Triples and Graphs, RDF and XML in Web Querying....Pages 72-84
Descriptive Typing Rules for Xcerpt ....Pages 85-100
A General Language for Evolution and Reactivity in the Semantic Web....Pages 101-115
Use Cases for Reasoning with Metadata or What Have Web Services to Do with Integrity Constraints?....Pages 116-117
Principles of Inductive Reasoning on the Semantic Web: A Framework for Learning in ${\mathcal AL}$ -Log....Pages 118-132
Computational Treatment of Temporal Notions: The CTTN–System....Pages 133-144
A Geospatial World Model for the Semantic Web....Pages 145-159
Generating Contexts for Expression Data Using Pathway Queries....Pages 160-162
Back Matter....Pages -
