Principles and Practice of Semantic Web Reasoning

Session 1. Invited Talk.- The RuleML Family of Web Rule Languages.- Session 2. Reasoning I.- Automated Reasoning Support for First-Order Ontologies.- Combining Safe Rules and Ontologies by Interfacing of Reasoners.- Session 3. Applications.- Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits.- Interaction Protocols and Capabilities: A Preliminary Report.- Semantic Web Reasoning for Analyzing Gene Expression Profiles.- Session 4. Querying.- Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt.- AMa ? oS--Abstract Machine for Xcerpt: Architecture and Principles.- Towards More Precise Typing Rules for Xcerpt.- Session 5. Reasoning II.- Extending an OWL Web Node with Reactive Behavior.- Supporting Open and Closed World Reasoning on the Web.- Reasoning with Temporal Constraints in RDF.- Session 6. Reasoning III.- Bidirectional Mapping Between OWL DL and Attempto Controlled English.- XML Querying Using Ontological Information.- Semantic Web Reasoning Using a Blackboard System.- Systems Session.- Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt.- Web Queries with Style: Rendering Xcerpt Programs with CSSNG.- Information Gathering in a Dynamic World.- Practice of Inductive Reasoning on the Semantic Web: A System for Semantic Web Mining.- Fuzzy Time Intervals System Description of the FuTI-Library.- A Prototype of a Descriptive Type System for Xcerpt.