Wlodzimierz Drabent and Jan MaluszynskiFrancois Bry and Michael EckertHarald MeyerTheofilos Mailis and Giorgos Stoilos and Giorgos StamouJos de Bruijn and David Pearce and Axel Polleres and Agustin ValverdeDebmalya BiswasVirginia Francisco and Pablo Gervas and Federico PeinadoJos de Bruijn and Stijn HeymansMouhamed Diouf and Sofian Maabout and Kaninda MusumbuPhilip D. Smart and Alia I. Abdelmoty and Baher A. El-Geresy and Christopher B. JonesXi Bai and Jigui Sun and Zehai Li and Xianrui LuJing Mei and Zuoquan Lin and Harold BoleyYimin Wang and Jie Bao and Peter Haase and Guilin QiDomenico Lembo and Marco RuzziHeiko Stoermer and Paolo Bouquet and Ignazio Palmisano and Domenico RedavidAmmar Mechouche and Christine Golbreich and Bernard GibaudSangun Park and Juyoung Kang and Wooju KimMaria Alpuente and Demis Ballis and Moreno Falaschi and Pedro Ojeda and Daniel RomeroNick Bassiliades and Grigoris Antoniou and Guido GovernatoriErik Behrends and Oliver Fritzen and Tobias Knabke and Wolfgang May and Franz SchenkNatalia Cherchago and Pascal Httzler and Steffen HolldoblerMarco Alberti and Federico Chesani and Marco Gavanelli and Evelina Lamma and Paola Mello and Marco Montali and Paolo TorroniThomas Lukasiewicz and Umberio StracciaTobias KuhnMilan Milanovic and Dragan Gasevic and Adrian Giurca and Gerd Wagner and Sergey Lukichev and Vladan DevedzicSacha Berger and Francois Bry and Tim Furche and Andreas J. HauslerMorteza Haghir Chehreghani and Hassan Abolhassani and Mostafa Haghir ChehreghaniHyung Moo Kim and Jae Soo YooWlodzimierz Drabent and Jakob Henriksson and Jan MaluszynskiAlfonso Sanchez-Macian and Encarna Pastor and Jorge E. Lopez de Vergara and David LopezMartin O'Connor and Ravi Shankar and Samson Tu and Csongor Nyulas and Amar Das and Mark MusenAlexandros Chortaras and Giorgos Stamou and Andreas StafylopatisEfstratios Kontopoulos and Nick Bassiliades and Grigoris AntoniouSebastian Rudolph and Markus Krotzsch and Pascal Hitzler and Michael Sintek and Denny VrandecicTadeusz Pankowski and Jolanta Cybulka and Adam MeissnerGrazyna Brzykcy and Jerzy Bartoszek

I Full Papers
Well-Founded Semantics for Hybrid Rules	p. 1
Rule-Based Composite Event Queries: The Language and XChange[superscript EQ] and Its Semantics	p. 16
On the Semantics of Service Compositions	p. 31
Expressive Reasoning with Horn Rules and Fuzzy Description Logics	p. 43
Quantified Equilibrium Logic and Hybrid Rules	p. 58
Web Services Discovery and Constraints Composition	p. 73
Ontological Reasoning to Configure Emotional Voice Synthesis	p. 88
A Semantic Framework for Language Layering in WSML	p. 103
Merging Model Driven Architecture and Semantic Web for Business Rules Generation	p. 118
A Framework for Combining Rules and Geo-ontologies	p. 133
Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer	p. 148
[Characters not reproducible]: An Integration of Description Logic and General Rules	p. 163
Evaluating Formalisms for Modular Ontologies in Distributed Information Systems	p. 178
Consistent Query Answering over Description Logic Ontologies	p. 194
II Short Papers
A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Results	p. 209
Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRI Images	p. 219
A Framework for Ontology Based Rule Acquisition from Web Documents	p. 229
A Fast Algebraic Web Verification Service	p. 239
Proof Explanation in the DR-DEVICE System	p. 249
Rule-Based Active Domain Brokering for the Semantic Web	p. 259
Decidability Under the Well-Founded Semantics	p. 269
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services	p. 279
Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web	p. 289
AceRules: Executing Rules in Controlled Natural Language	p. 299
Bridging Concrete and Abstract Syntax of Web Rule Languages	p. 309
Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints	p. 319
Attaining Higher Quality for Density Based Algorithms	p. 329
Correlation Rules and Ontologies Acquisition in Knowledge Extraction of Image	p. 339
Hybrid Reasoning with Rules and Constraints Under Well-Founded Semantics	p. 348
III Selected Posters
Extending SWRL to Enhance Mathematical Support	p. 358
Efficiently Querying Relational Databases Using OWL and SWRL	p. 361
Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs	p. 364
A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data	p. 367
Efficient OWL Reasoning with Logic Programs - Evaluations	p. 370
Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies	p. 374
Context in Rules Used in P2P Semantic Data Integration System	p. 377
Author Index	p. 381