RR2012 Accepted Papers

• Stefan Borgwardt and Rafael Peñaloza. A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices
• Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali and Ario Santoso. Ontology-Based Governance of Data-Aware Processes
• Cristina Civili and Riccardo Rosati. Query Patterns for Existential Rules
• Thomas Eiter, Michael Fink and Daria Stepanova. Semantic Independence in DL-Programs
• Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García and Roman Kontchakov. An Update on Query Answering with Restricted Forms of Negation
• Víctor Gutiérrez-Basulto and Szymon Klarman. Towards a Unifying Approach to Representing and Querying Temporal Data in Description Logics
• Tomi Janhunen and Vesa Luukkala. Meta Programming with Answer Sets for Smart Spaces
• Mélanie König, Michel Leclère, Marie-Laure Mugnier and Michaël Thomazo. A Sound and Complete Backward Chaining Algorithm for Existential Rules
• Senlin Liang and Michael Kifer. Deriving Predicate Statistics for Logic Rules
• Thomas Lukasiewicz, Maria Vanina Martinez and Gerardo I. Simari. Consistent Answers in Probabilistic Datalog+/- Ontologies
• Eleni Tsalapati, Giorgos Stoilos, Giorgos Stamou and George Koletsos. Query Rewriting Under Ontology Contraction
• Jürgen Umbrich, Aidan Hogan, Axel Polleres and Stefan Decker. Improving the Recall of Live Linked Data Querying through Reasoning

RR2012 Technical Communications

• Rosamaria Barilaro, Nicola Leone, Francesco Ricca and Giorgio Terracina. Distributed Ontology Based Data Access via Logic Programming
• Valentinos Evripidou and Francesca Toni. Argumentation and Voting for an Intelligent User Empowering Business Directory on the Web
• Wolfgang Faber. A Polynomial Reduction from ASPDA to ASP
• Enrico Franconi, Nhung Ngo and Evgeny Sherkhonov. The Definability Abduction Problem for Data Exchange
• Beibei Hu, Theodore Patkos, Abdelghani Chibani and Yacine Amirat. Rule-based Context Assessment in Smart Cities
• Matthias Knorr, David Carral Martínez, Pascal Hitzler, Adila Krisnadhi, Frederick Maier and Cong Wang. Recent Advances in Integrating OWL and Rules
• Manolis Koubarakis, Manos Karpathiotakis, Kostis Kyzirakos, Charalampos Nikolaou, Stavros Vassos, George Garbis, Michael Sioutis, Konstantina Bereta, Stefan Manegold, Martin Kersten, Milena Ivanova, Holger Pirk, Ying Zhang, Charalampos Kontoes, Ioannis Papoutsis, Themistoklis Herekakis, Dimitris Mihail, Mihai Datcu, Gottfried Schwarz, Octavian Dumitru, Daniela Molina, Katrin Molch, Ugo Giammatteo, Manuela Sagona, Sergio Perelli, Eva Klien, Thorsten Reitz and Robert Gregor. Building Virtual Earth Observatories using Ontologies and Linked Geospatial Data
• Adila Krisnadhi and Pascal Hitzler. A Tableau Algorithm for Description Logics with Nominal Schema
• Chang Liu and Guilin Qi. Toward Scalable Reasoning over Annotated RDF Data Using MapReduce
• Anees Mehdi, Alexandre Miguel Pinto and Sebastian Rudolph. On Integrating Description Logics and Rules under Minimal Hypotheses
• Nadeschda Nikitina and Sebastian Rudolph. On the (Non-)Succinctness of Uniform Interpolation in General EL Terminologies
• Denis Ponomaryov and Dmitry Vlasov. On Definability and Redundancy in EL-TBoxes
• Michele Ruta, Floriano Scioscia, Giuseppe Loseto, Filippo Gramegna and Eugenio Di Sciascio. A Mobile Reasoner for Semantic-based Matchmaking
• Anna Ryabokon, Axel Polleres, Gerhard Friedrich, Andreas A. Falkner, Alois Haselböck and Herwig Schreiner. (Re)Configuration using Web Data: A Case Study on the Reviewer Assignment Problem
• Juan F. Sequeda, Marcelo Arenas and Daniel P. Miranker. Ontology-based Data Access using Views

RR2012 Doctoral Consortium Research Summaries

• Elena Botoeva. Description Logic Knowledge Base Exchange
• Cristina Civili. Research Summary: Datalog-Based Data Access
• Mohamed Nader Jelassi. A Quadratic Approach for Trend Detection in Folksonomies
• Senlin Liang. Non-Termination Analysis and Cost-Based Query Optimization of Logic Programs
• Ario Santoso. When Data, Knowledge and Processes Meet Together

Platinum Sponsors

Silver Sponsors

Regular Sponsors

Hosted by