Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers

Description

This book constitutes the refereed proceedings of the 4th International Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2006, held in Budva, Montenegro in June 2006 as a satellite event of the 3rd Annual European Semantic Web Conference, ESWC 2006. The 14 revised full papers presented together with 1 invited talk and 6 system demonstrations were carefully reviewed and selected from 25 submissions. The major aspects of semantic Web research are addressed in the papers, namely various forms of reasoning with a strong interest in rule-based languages and methods - ranging from more theoretical work on reasoning methods that can be applied to the semantic Web, concrete reasoning methods and query languages for the semantic Web, to practical applications. Front Matter....Pages - The RuleML Family of Web Rule Languages....Pages 1-17 Automated Reasoning Support for First-Order Ontologies....Pages 18-32 Combining Safe Rules and Ontologies by Interfacing of Reasoners....Pages 33-47 Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits....Pages 48-62 Interaction Protocols and Capabilities: A Preliminary Report....Pages 63-77 Semantic Web Reasoning for Analyzing Gene Expression Profiles....Pages 78-89 Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt....Pages 90-104 AMa χ oS —Abstract Machine for Xcerpt: Architecture and Principles....Pages 105-119 Towards More Precise Typing Rules for Xcerpt ....Pages 120-133 Extending an OWL Web Node with Reactive Behavior....Pages 134-148 Supporting Open and Closed World Reasoning on the Web....Pages 149-163 Reasoning with Temporal Constraints in RDF....Pages 164-178 Bidirectional Mapping Between OWL DL and Attempto Controlled English....Pages 179-189 XML Querying Using Ontological Information....Pages 190-203 Semantic Web Reasoning Using a Blackboard System....Pages 204-218 Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt....Pages 219-224 Web Queries with Style: Rendering Xcerpt Programs with CSS NG ....Pages 225-236 Information Gathering in a Dynamic World....Pages 237-241 Practice of Inductive Reasoning on the Semantic Web: A System for Semantic Web Mining....Pages 242-256 Fuzzy Time Intervals System Description of the FuTI–Library....Pages 257-261 A Prototype of a Descriptive Type System for Xcerpt ....Pages 262-275 Back Matter....Pages -