Skip to main content
SpringerLink
Log in
Book cover

Web Reasoning and Rule Systems

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

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Massimo Marchiori
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jeff Z. Pan
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Christian de Sainte Marie
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4524)

Part of the book sub series: Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)

Included in the following conference series:

Conference proceedings info: RR 2007.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (36 papers)

  1. Front Matter

    Download chapter PDF

  2. I FullPapers

    1. Well-Founded Semantics for Hybrid Rules

      • WÅ‚odzimierz Drabent, Jan MaÅ‚uszyÅ„ski
      Pages 1-15

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

      • François Bry, Michael Eckert
      Pages 16-30

    3. On the Semantics of Service Compositions

      • Harald Meyer
      Pages 31-42

    4. Expressive Reasoning with Horn Rules and Fuzzy Description Logics

      • Theofilos Mailis, Giorgos Stoilos, Giorgos Stamou
      Pages 43-57

    5. Quantified Equilibrium Logic and Hybrid Rules

      • Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde
      Pages 58-72

    6. Web Services Discovery and Constraints Composition

      • Debmalya Biswas
      Pages 73-87

    7. Ontological Reasoning to Configure Emotional Voice Synthesis

      • Virginia Francisco, Pablo Gervás, Federico Peinado
      Pages 88-102

    8. A Semantic Framework for Language Layering in WSML

      • Jos de Bruijn, Stijn Heymans
      Pages 103-117

    9. Merging Model Driven Architecture and Semantic Web for Business Rules Generation

      • Mouhamed Diouf, Sofian Maabout, Kaninda Musumbu
      Pages 118-132

    10. A Framework for Combining Rules and Geo-ontologies

      • Philip D. Smart, Alia I. Abdelmoty, Baher A. El-Geresy, Christopher B. Jones
      Pages 133-147

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

      • Xi Bai, Jigui Sun, Zehai Li, Xianrui Lu
      Pages 148-162

    12. \(\mathcal{ALC}^{u}_{\mathbb{P}}\): An Integration of Description Logic and General Rules

      • Jing Mei, Zuoquan Lin, Harold Boley
      Pages 163-177

    13. Evaluating Formalisms for Modular Ontologies in Distributed Information Systems

      • Yimin Wang, Jie Bao, Peter Haase, Guilin Qi
      Pages 178-193

    14. Consistent Query Answering over Description Logic Ontologies

      • Domenico Lembo, Marco Ruzzi
      Pages 194-208

  3. II Short Papers

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

      • Heiko Stoermer, Paolo Bouquet, Ignazio Palmisano, Domenico Redavid
      Pages 209-218

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

      • Ammar Mechouche, Christine Golbreich, Bernard Gibaud
      Pages 219-228

    3. A Framework for Ontology Based Rule Acquisition from Web Documents

      • Sangun Park, Juyoung Kang, Wooju Kim
      Pages 229-238

    4. A Fast Algebraic Web Verification Service

      • María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero
      Pages 239-248

    5. Proof Explanation in the DR-DEVICE System

      • Nick Bassiliades, Grigoris Antoniou, Guido Governatori
      Pages 249-258
Back to top

Other volumes

  1. Web Reasoning and Rule Systems

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation