1. RR 2007: Innsbruck , Austria

Full Papers

• Wlodzimierz Drabent, Jan Maluszynski:
  Well-Founded Semantics for Hybrid Rules. 1-15
  Electronic Edition (link) BibTeX
• François Bry, Michael Eckert:
  Rule-Based Composite Event Queries: The Language XChange^EQ and Its Semantics. 16-30
  Electronic Edition (link) BibTeX
• Harald Meyer:
  On the Semantics of Service Compositions. 31-42
  Electronic Edition (link) BibTeX
• Theofilos P. Mailis, Giorgos Stoilos, Giorgos B. Stamou:
  Expressive Reasoning with Horn Rules and Fuzzy Description Logics. 43-57
  Electronic Edition (link) BibTeX
• Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde:
  Quantified Equilibrium Logic and Hybrid Rules. 58-72
  Electronic Edition (link) BibTeX
• Debmalya Biswas:
  Web Services Discovery and Constraints Composition. 73-87
  Electronic Edition (link) BibTeX
• Virginia Francisco, Pablo Gervás, Federico Peinado:
  Ontological Reasoning to Configure Emotional Voice Synthesis. 88-102
  Electronic Edition (link) BibTeX
• Jos de Bruijn, Stijn Heymans:
  A Semantic Framework for Language Layering in WSML. 103-117
  Electronic Edition (link) BibTeX
• Mouhamed Diouf, Sofian Maabout, Kaninda Musumbu:
  Merging Model Driven Architecture and Semantic Web for Business Rules Generation. 118-132
  Electronic Edition (link) BibTeX
• Philip D. Smart, Alia I. Abdelmoty, Baher A. El-Geresy, Christopher B. Jones:
  A Framework for Combining Rules and Geo-ontologies. 133-147
  Electronic Edition (link) BibTeX
• Xi Bai, Jigui Sun, Zehai Li, Xianrui Lu:
  Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer. 148-162
  Electronic Edition (link) BibTeX
• Jing Mei, Zuoquan Lin, Harold Boley:
  ALC^u_P: An Integration of Description Logic and General Rules. 163-177
  Electronic Edition (link) BibTeX
• Yimin Wang, Jie Bao, Peter Haase, Guilin Qi:
  Evaluating Formalisms for Modular Ontologies in Distributed Information Systems. 178-193
  Electronic Edition (link) BibTeX
• Domenico Lembo, Marco Ruzzi:
  Consistent Query Answering over Description Logic Ontologies. 194-208
  Electronic Edition (link) BibTeX

Short Papers

• Heiko Stoermer, Paolo Bouquet, Ignazio Palmisano, Domenico Redavid:
  A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Results. 209-218
  Electronic Edition (link) BibTeX
• Ammar Mechouche, Christine Golbreich, Bernard Gibaud:
  Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRI Images. 219-228
  Electronic Edition (link) BibTeX
• Sangun Park, Juyoung Kang, Wooju Kim:
  A Framework for Ontology Based Rule Acquisition from Web Documents. 229-238
  Electronic Edition (link) BibTeX
• María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero:
  A Fast Algebraic Web Verification Service. 239-248
  Electronic Edition (link) BibTeX
• Nick Bassiliades, Grigoris Antoniou, Guido Governatori:
  Proof Explanation in the DR-DEVICE System. 249-258
  Electronic Edition (link) BibTeX
• Erik Behrends, Oliver Fritzen, Tobias Knabke, Wolfgang May, Franz Schenk:
  Rule-Based Active Domain Brokering for the Semantic Web. 259-268
  Electronic Edition (link) BibTeX
• Natalia Cherchago, Pascal Hitzler, Steffen Hölldobler:
  Decidability Under the Well-Founded Semantics. 269-278
  Electronic Edition (link) BibTeX
• Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
  A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. 279-288
  Electronic Edition (link) BibTeX
• Thomas Lukasiewicz, Umberto Straccia:
  Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web. 289-298
  Electronic Edition (link) BibTeX
• Tobias Kuhn:
  AceRules: Executing Rules in Controlled Natural Language. 299-308
  Electronic Edition (link) BibTeX
• Milan Milanovic, Dragan Gasevic, Adrian Giurca, Gerd Wagner, Sergey Lukichev, Vladan Devedzic:
  Bridging Concrete and Abstract Syntax of Web Rule Languages. 309-318
  Electronic Edition (link) BibTeX
• Sacha Berger, François Bry, Tim Furche, Andreas J. Häusler:
  Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints. 319-328
  Electronic Edition (link) BibTeX
• Morteza Haghir Chehreghani, Hassan Abolhassani, Mostafa Haghir Chehreghani:
  Attaining Higher Quality for Density Based Algorithms. 329-338
  Electronic Edition (link) BibTeX
• Hyung Moo Kim, Jae Soo Yoo:
  Correlation Rules and Ontologies Acquisition in Knowledge Extraction of Image. 339-347
  Electronic Edition (link) BibTeX
• Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski:
  Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics. 348-357
  Electronic Edition (link) BibTeX

Selected Posters

• Alfonso Sánchez-Macián, Encarna Pastor, Jorge E. López de Vergara, David López:
  Extending SWRL to Enhance Mathematical Support. 358-360
  Electronic Edition (link) BibTeX
• Martin J. O'Connor, Ravi Shankar, Samson W. Tu, Csongor Nyulas, Amar K. Das, Mark A. Musen:
  Efficiently Querying Relational Databases Using OWL and SWRL. 361-363
  Electronic Edition (link) BibTeX
• Alexandros Chortaras, Giorgos B. Stamou, Andreas Stafylopatis:
  Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs. 364-366
  Electronic Edition (link) BibTeX
• Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou:
  A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data. 367-369
  Electronic Edition (link) BibTeX
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic:
  Efficient OWL Reasoning with Logic Programs - Evaluations. 370-373
  Electronic Edition (link) BibTeX
• Tadeusz Pankowski, Jolanta Cybulka, Adam Meissner:
  Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies. 374-376
  Electronic Edition (link) BibTeX
• Grazyna Brzykcy, Jerzy Bartoszek:
  Context in Rules Used in P2P Semantic Data Integration System. 377-380
  Electronic Edition (link) BibTeX