3. RR 2009: Chantilly, VA, USA

Axel Polleres, Terrance Swift (Eds.): Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings. Lecture Notes in Computer Science 5837 Springer 2009, ISBN 978-3-642-05081-7

Invited Papers and Tutorial

Robert A. Kowalski, Fariba Sadri:
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. 1-23
Benjamin N. Grosof:
SILK: Higher Level Rules with Defaults and Semantic Scalability. 24-25
Thomas Lukasiewicz:
Uncertainty Reasoning for the Semantic Web. 26-39

Proof/Deduction Procedures

Stephan Grimm, Pascal Hitzler:
A Preferential Tableaux Calculus for Circumscriptive ALCO{\mathcal ALCO}. 40-54
Stijn Heymans, Cristina Feier, Thomas Eiter:
A Reasoner for Simple Conceptual Logic Programs. 55-70
Simon Brodt, François Bry, Norbert Eisinger:
Search for More Declarativity. 71-86

Scalability

Anne Schlicht, Heiner Stuckenschmidt:
Distributed Resolution for Expressive Ontology Networks. 87-101
Gergely Lukácsy, Péter Szeredi:
Scalable Web Reasoning Using Logic Programming Techniques. 102-117
Aidan Hogan, Stefan Decker:
On the Ostensibly Silent 'W' in OWL 2 RL. 118-134

Uncertainty

Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock:
Answer Sets in a Fuzzy Equilibrium Logic. 135-149
Hui Wan:
Belief Logic Programming with Cyclic Dependencies. 150-165
Umberto Straccia:
A Minimal Deductive System for General Fuzzy RDF. 166-181

Knowledge Amalgamation and Querying

Christian Meilicke, Heiner Stuckenschmidt:
An Efficient Method for Computing Alignment Diagnoses. 182-196
Yue Ma, Pascal Hitzler:
Paraconsistent Reasoning for OWL 2. 197-211
Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio:
A Formal Theory for Modular ERDF Ontologies. 212-226
François Bry, Tim Furche, Benedikt Linse:
The Perfect Match: RPL and RDF Rule Languages. 227-241

Rules for Decision Support and Production Systems

Matt-Mouley Bouamrane, Alan L. Rector, Martin Hurrell:
A Hybrid Architecture for a Preoperative Decision Support System Using a Rule Engine and a Reasoner on a Clinical Ontology. 242-253
Jos de Bruijn, Martín Rezk:
A Logic Based Approach to the Static Analysis of Production Systems. 254-268

Last update Wed May 22 16:24:51 2013 CET by the DBLP Team —

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