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.
Author(s): Harold Boley (auth.), Jóse Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel (eds.)
Series: Lecture Notes in Computer Science 4187 : Information Systems and Applications, incl. Internet/Web, and HCI
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
Language: English
Pages: 280
Tags: Information Systems Applications (incl.Internet); Information Storage and Retrieval; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Software Engineering
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 -
