Skip to main content
  • Conference proceedings
  • © 2007

Web Reasoning and Rule Systems

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

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)

Conference series link(s): RR: International Conference on Web Reasoning and Rule Systems

Conference proceedings info: RR 2007.

Buy it now

Buying options

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

Table of contents (36 papers)

  1. Front Matter

  2. I FullPapers

    1. Well-Founded Semantics for Hybrid Rules

      • WÅ‚odzimierz Drabent, Jan MaÅ‚uszyÅ„ski
      Pages 1-15
    2. Expressive Reasoning with Horn Rules and Fuzzy Description Logics

      • Theofilos Mailis, Giorgos Stoilos, Giorgos Stamou
      Pages 43-57
    3. Quantified Equilibrium Logic and Hybrid Rules

      • Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde
      Pages 58-72
    4. Ontological Reasoning to Configure Emotional Voice Synthesis

      • Virginia Francisco, Pablo Gervás, Federico Peinado
      Pages 88-102
    5. A Semantic Framework for Language Layering in WSML

      • Jos de Bruijn, Stijn Heymans
      Pages 103-117
    6. Merging Model Driven Architecture and Semantic Web for Business Rules Generation

      • Mouhamed Diouf, Sofian Maabout, Kaninda Musumbu
      Pages 118-132
    7. A Framework for Combining Rules and Geo-ontologies

      • Philip D. Smart, Alia I. Abdelmoty, Baher A. El-Geresy, Christopher B. Jones
      Pages 133-147
    8. Evaluating Formalisms for Modular Ontologies in Distributed Information Systems

      • Yimin Wang, Jie Bao, Peter Haase, Guilin Qi
      Pages 178-193
    9. 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. A Framework for Ontology Based Rule Acquisition from Web Documents

      • Sangun Park, Juyoung Kang, Wooju Kim
      Pages 229-238
    3. A Fast Algebraic Web Verification Service

      • María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero
      Pages 239-248
    4. Proof Explanation in the DR-DEVICE System

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

Other Volumes

  1. Web Reasoning and Rule Systems

Bibliographic Information

Buy it now

Buying options

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