2. RR 2008: Karlsruhe, Germany

Diego Calvanese, Georg Lausen (Eds.): Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings. Lecture Notes in Computer Science 5341 Springer 2008, ISBN 978-3-540-88736-2

Invited Papers

Michael Kifer:
Rule Interchange Format: The Framework. 1-11
Boris Motik:
Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules. 12

Full Papers

Riccardo Rosati:
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. 13-27
François Bry, Tim Furche, Benedikt Linse:
Simulation Subsumption or Déjà vu on the Web. 28-42
Antoine Zimmermann, Chan Le Duc:
Reasoning with a Network of Aligned Ontologies. 43-57
Jianfeng Du, Guilin Qi, Yi-Dong Shen:
Lexicographical Inference over Inconsistent DL-Based Ontologies. 58-73
Guilin Qi, Fangkai Yang:
A Survey of Revision Approaches in Description Logics. 74-88
Michael Meier:
Towards Rule-Based Minimization of RDF Graphs under Constraints. 89-103
Jakob Henriksson, Michael Pradel, Steffen Zschaler, Jeff Z. Pan:
Ontology Design and Reuse with Conceptual Roles. 104-118
Giorgio Terracina, Erika De Francesco, Claudio Panetta, Nicola Leone:
Enhancing a DLP System for Advanced Database Applications. 119-134
Daniel Elenius, Grit Denker, Mark-Oliver Stehr:
A Semantic Web Reasoner for Rules, Equations and Constraints. 135-149
Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler:
What Is Approximate Reasoning?. 150-164
Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
Approximate OWL-Reasoning with Screech. 165-180
Stijn Heymans, Ioan Toma:
Ranking Services Using Fuzzy HEXPrograms. 181-196

Short Papers

Oliver Fritzen, Wolfgang May, Franz Schenk:
Markup and Component Interoperability for Active Rules. 197-204
Joanna Józefowska, Agnieszka Lawrynowicz, Tomasz Lukaszewski:
On Reducing Redundancy in Mining Relational Association Rules from the Semantic Web. 205-213
Andreas Billig:
A TRIPLE-Oriented Approach for Integrating Higher-Order Rules and External Contexts. 214-221
Xiaowang Zhang, Zuoquan Lin:
Paraconsistent Reasoning with Quasi-classical Semantic in . 222-229

Posters

Viorica R. Chifu, Ioan Salomie, Simona Manole:
Fluent Calculus Based Web Service Composition. 230-231
Xing Wang, Z. M. Ma, Li Yan, Xiangfu Meng:
Vague-SWRL: A Fuzzy Extension of SWRL. 232-233
Antonis Bikakis, Grigoris Antoniou:
Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing. 234-235
François Bry, Tim Furche, Clemens Ley, Benedikt Linse, Bruno Marnette:
Taming Existence in RDF Querying. 236-237
Guilin Qi, Jeff Z. Pan:
A Tableau Algorithm for Possibilistic Description Logic . 238-239

Last update Fri May 24 19:45:48 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page