Full papers:
Riccardo Rosati. On combining Description Logic ontologies and nonrecursive Datalog rules
Michael Meier. Towards Rule-Based Minimization of RDF Graphs under Constraints
Antoine Zimmermann and Chan Le Duc. Reasoning with a Network of Aligned Ontologies
Jianfeng Du, Guilin Qi and Yi-Dong Shen. Lexicographical Inference over Inconsistent DL-based Ontologies
Stijn Heymans and Ioan Toma. Ranking Services using Fuzzy HEX Programs
Jakob Henriksson, Jeff Z. Pan, Michael Pradel and Steffen Zschaler. Ontology design and reuse with conceptual roles
Daniel Elenius, Grit Denker and Mark-Oliver Stehr. A Semantic Web Reasoner for Rules, Equations and Constraints
François Bry, Norbert Eisinger, Tim Furche and Benedikt Linse. Simulation Subsumption or Déjà vu on the Web
Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch and Pascal Hitzler. Approximate OWL-Reasoning with Screech
Giorgio Terracina, Erika De Francesco, Claudio Panetta and Nicola Leone. Enhancing a DLP System for Advanced Database Applications
Guilin Qi and Fangkai Yang. A Survey of Revision Approaches in Description Logics
Sebastian Rudolph, Tuvshintur Tserendorj and Pascal Hitzler. What Is Approximate Reasoning?
Short Papers:
Oliver Fritzen, Wolfgang May and Franz Schenk. Markup and Component Interoperability for Active Rules
Andreas Billig. A TRIPLE-oriented Approach for integrating Higher-Order Rules and External Contexts
Xiaowang Zhang and Zuoquan Lin. Paraconsistent Reasoning with Quasi-Classical Semantic in ALC
Joanna Jozefowska, Agnieszka Lawrynowicz and Tomasz Lukaszewski. On reducing redundancy in mining relational association rules from the Semantic Web
Posters:
Viorica Rozina Chifu, Ioan Salomie and Simona Manole. Fluent calculus based Web service composition
Xing Wang, Z. M. Ma, Li Yan and Xiangfu Meng. Vague SWRL: A Fuzzy Extension of SWRL
Antonis Bikakis and Grigoris Antoniou. Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing
François Bry, Tim Furche, Clemens Ley, Benedikt Linse and Bruno Marnette. Taming Existence in RDF Querying
Guilin Qi and Jeff Z. Pan. Tableau Algorithm for Possibilistic Description Logic ALC