| Full Papers / I： |
| Well-Founded Semantics for Hybrid Rules / Wlodzimierz Drabent ; Jan Maluszynski |
| Rule-Based Composite Event Queries: The Language and XChange[superscript EQ] and Its Semantics / Francois Bry ; Michael Eckert |
| On the Semantics of Service Compositions / Harald Meyer |
| Expressive Reasoning with Horn Rules and Fuzzy Description Logics / Theofilos Mailis ; Giorgos Stoilos ; Giorgos Stamou |
| Quantified Equilibrium Logic and Hybrid Rules / Jos de Bruijn ; David Pearce ; Axel Polleres ; Agustin Valverde |
| Web Services Discovery and Constraints Composition / Debmalya Biswas |
| Ontological Reasoning to Configure Emotional Voice Synthesis / Virginia Francisco ; Pablo Gervas ; Federico Peinado |
| A Semantic Framework for Language Layering in WSML / Stijn Heymans |
| Merging Model Driven Architecture and Semantic Web for Business Rules Generation / Mouhamed Diouf ; Sofian Maabout ; Kaninda Musumbu |
| A Framework for Combining Rules and Geo-ontologies / Philip D. Smart ; Alia I. Abdelmoty ; Baher A. El-Geresy ; Christopher B. Jones |
| Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer / Xi Bai ; Jigui Sun ; Zehai Li ; Xianrui Lu |
| [Characters not reproducible]: An Integration of Description Logic and General Rules / Jing Mei ; Zuoquan Lin ; Harold Boley |
| Evaluating Formalisms for Modular Ontologies in Distributed Information Systems / Yimin Wang ; Jie Bao ; Peter Haase ; Guilin Qi |
| Consistent Query Answering over Description Logic Ontologies / Domenico Lembo ; Marco Ruzzi |
| Short Papers / II： |
| A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Results / Heiko Stoermer ; Paolo Bouquet ; Ignazio Palmisano ; Domenico Redavid |
| Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRI Images / Ammar Mechouche ; Christine Golbreich ; Bernard Gibaud |
| A Framework for Ontology Based Rule Acquisition from Web Documents / Sangun Park ; Juyoung Kang ; Wooju Kim |
| A Fast Algebraic Web Verification Service / Maria Alpuente ; Demis Ballis ; Moreno Falaschi ; Pedro Ojeda ; Daniel Romero |
| Proof Explanation in the DR-DEVICE System / Nick Bassiliades ; Grigoris Antoniou ; Guido Governatori |
| Rule-Based Active Domain Brokering for the Semantic Web / Erik Behrends ; Oliver Fritzen ; Tobias Knabke ; Wolfgang May ; Franz Schenk |
| Decidability Under the Well-Founded Semantics / Natalia Cherchago ; Pascal Httzler ; Steffen Holldobler |
| A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services / Marco Alberti ; Federico Chesani ; Marco Gavanelli ; Evelina Lamma ; Paola Mello ; Marco Montali ; Paolo Torroni |
| Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web / Thomas Lukasiewicz ; Umberio Straccia |
| AceRules: Executing Rules in Controlled Natural Language / Tobias Kuhn |
| Bridging Concrete and Abstract Syntax of Web Rule Languages / Milan Milanovic ; Dragan Gasevic ; Adrian Giurca ; Gerd Wagner ; Sergey Lukichev ; Vladan Devedzic |
| Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints / Sacha Berger ; Tim Furche ; Andreas J. Hausler |
| Attaining Higher Quality for Density Based Algorithms / Morteza Haghir Chehreghani ; Hassan Abolhassani ; Mostafa Haghir Chehreghani |
| Correlation Rules and Ontologies Acquisition in Knowledge Extraction of Image / Hyung Moo Kim ; Jae Soo Yoo |
| Hybrid Reasoning with Rules and Constraints Under Well-Founded Semantics / Jakob Henriksson |
| Selected Posters / III： |
| Extending SWRL to Enhance Mathematical Support / Alfonso Sanchez-Macian ; Encarna Pastor ; Jorge E. Lopez de Vergara ; David Lopez |
| Efficiently Querying Relational Databases Using OWL and SWRL / Martin O'Connor ; Ravi Shankar ; Samson Tu ; Csongor Nyulas ; Amar Das ; Mark Musen |
| Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs / Alexandros Chortaras ; Andreas Stafylopatis |
| A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data / Efstratios Kontopoulos |
| Efficient OWL Reasoning with Logic Programs - Evaluations / Sebastian Rudolph ; Markus Krotzsch ; Pascal Hitzler ; Michael Sintek ; Denny Vrandecic |
| Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies / Tadeusz Pankowski ; Jolanta Cybulka ; Adam Meissner |
| Context in Rules Used in P2P Semantic Data Integration System / Grazyna Brzykcy ; Jerzy Bartoszek |
| Author Index |
| Full Papers / I： |
| Well-Founded Semantics for Hybrid Rules / Wlodzimierz Drabent ; Jan Maluszynski |
| Rule-Based Composite Event Queries: The Language and XChange[superscript EQ] and Its Semantics / Francois Bry ; Michael Eckert |
| On the Semantics of Service Compositions / Harald Meyer |
| Expressive Reasoning with Horn Rules and Fuzzy Description Logics / Theofilos Mailis ; Giorgos Stoilos ; Giorgos Stamou |
| Quantified Equilibrium Logic and Hybrid Rules / Jos de Bruijn ; David Pearce ; Axel Polleres ; Agustin Valverde |
