Web Reasoning and Rule Systems

First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings

ISBN: 978-3-540-72981-5 (Print) 978-3-540-72982-2 (Online)

Table of contents (36 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. I FullPapers

    1. No Access

      Book Chapter

      Pages 1-15

      Well-Founded Semantics for Hybrid Rules

    2. No Access

      Book Chapter

      Pages 16-30

      Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semantics

    3. No Access

      Book Chapter

      Pages 31-42

      On the Semantics of Service Compositions

    4. No Access

      Book Chapter

      Pages 43-57

      Expressive Reasoning with Horn Rules and Fuzzy Description Logics

    5. No Access

      Book Chapter

      Pages 58-72

      Quantified Equilibrium Logic and Hybrid Rules

    6. No Access

      Book Chapter

      Pages 73-87

      Web Services Discovery and Constraints Composition

    7. No Access

      Book Chapter

      Pages 88-102

      Ontological Reasoning to Configure Emotional Voice Synthesis

    8. No Access

      Book Chapter

      Pages 103-117

      A Semantic Framework for Language Layering in WSML

    9. No Access

      Book Chapter

      Pages 118-132

      Merging Model Driven Architecture and Semantic Web for Business Rules Generation

    10. No Access

      Book Chapter

      Pages 133-147

      A Framework for Combining Rules and Geo-ontologies

    11. No Access

      Book Chapter

      Pages 148-162

      Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer

    12. No Access

      Book Chapter

      Pages 163-177

      $\mathcal{ALC}^{u}_{\mathbb{P}}$ : An Integration of Description Logic and General Rules

    13. No Access

      Book Chapter

      Pages 178-193

      Evaluating Formalisms for Modular Ontologies in Distributed Information Systems

    14. No Access

      Book Chapter

      Pages 194-208

      Consistent Query Answering over Description Logic Ontologies

  3. II Short Papers

    1. No Access

      Book Chapter

      Pages 209-218

      A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Results

    2. No Access

      Book Chapter

      Pages 219-228

      Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRI Images

    3. No Access

      Book Chapter

      Pages 229-238

      A Framework for Ontology Based Rule Acquisition from Web Documents

    4. No Access

      Book Chapter

      Pages 239-248

      A Fast Algebraic Web Verification Service

    5. No Access

      Book Chapter

      Pages 249-258

      Proof Explanation in the DR-DEVICE System

    6. No Access

      Book Chapter

      Pages 259-268

      Rule-Based Active Domain Brokering for the Semantic Web

previous Page of 2