Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Fages, François (Editor), Soliman, Sylvain (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Series: Lecture Notes in Computer Science, 3703
• Subjects: Computer science.; Mathematical logic.; Information storage and retrieval.; Artificial intelligence.; Computer Science.; Information Systems Applications (incl. Internet).; Computer Science, general.; Popular Computer Science.; Information Storage and Retrieval.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.

Table of Contents:

• 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 CTTN–System
• A Geospatial World Model for the Semantic Web
• Generating Contexts for Expression Data Using Pathway Queries.