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.

Buying options

eBook USD 69.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-72982-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 89.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

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. On the Semantics of Service Compositions

      • Harald Meyer
      Pages 31-42
    3. Expressive Reasoning with Horn Rules and Fuzzy Description Logics

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

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

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

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

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

      • Philip D. Smart, Alia I. Abdelmoty, Baher A. El-Geresy, Christopher B. Jones
      Pages 133-147
    9. Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer

      • Xi Bai, Jigui Sun, Zehai Li, Xianrui Lu
      Pages 148-162
    10. Evaluating Formalisms for Modular Ontologies in Distributed Information Systems

      • Yimin Wang, Jie Bao, Peter Haase, Guilin Qi
      Pages 178-193
    11. 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

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

Keywords

  • Extensible Markup Language (XML)
  • algorithms
  • constraint reasoning
  • description logic
  • fuzzy description logic
  • information system
  • knowledge extraction
  • learning
  • logic
  • nonmonotonic rules
  • ontologies
  • rule markup languages
  • semantics
  • uncertainty
  • visualization

Bibliographic Information

Buying options

eBook USD 69.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-72982-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 89.99
Price excludes VAT (USA)