Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran |
Scalable Reasoning by Abstraction Beyond DL-Lite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings, pp. 77-93, 2016, Springer, 978-3-319-45275-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Leonid Libkin |
Negative Knowledge for Certain Query Answers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings, pp. 111-127, 2016, Springer, 978-3-319-45275-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mostafa Milani, Andrea Calì, Leopoldo E. Bertossi |
A Hybrid Approach to Query Answering Under Expressive Datalog ^\pm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings, pp. 144-158, 2016, Springer, 978-3-319-45275-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Corby, Catherine Faron-Zucker, Raphaël Gazzotti |
Validating Ontologies Against OWL 2 Profiles with the SPARQL Template Transformation Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings, pp. 39-45, 2016, Springer, 978-3-319-45275-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kwabena Nuamah, Alan Bundy, Christopher Lucas 0001 |
Functional Inferences over Heterogeneous Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings, pp. 159-166, 2016, Springer, 978-3-319-45275-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Georg Gottlob, Andreas Pieris, Mantas Simkus |
The Impact of Active Domain Predicates on Guarded Existential Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings, pp. 94-110, 2016, Springer, 978-3-319-45275-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mirko Michele Dimartino, Andrea Calì, Alexandra Poulovassilis, Peter T. Wood |
Query Rewriting under Linear EL Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings, pp. 61-76, 2016, Springer, 978-3-319-45275-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stathis Delivorias, Sebastian Rudolph |
Revisiting Grounded Circumscription in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings, pp. 46-60, 2016, Springer, 978-3-319-45275-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mostafa Milani, Leopoldo E. Bertossi |
Extending Weakly-Sticky Datalog±: Query-Answering Tractability and Optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings, pp. 128-143, 2016, Springer, 978-3-319-45275-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Meghyn Bienvenu, Michaël Thomazo |
On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings, pp. 1-17, 2016, Springer, 978-3-319-45275-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Ren 0001, Jeff Z. Pan, Isa Guclu, Martin J. Kollingbaum |
A Combined Approach to Incremental Reasoning for EL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings, pp. 167-183, 2016, Springer, 978-3-319-45275-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao 0001 |
Towards Practical OBDA with Temporal Ontologies - (Position Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings, pp. 18-24, 2016, Springer, 978-3-319-45275-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Civili, Jose Mora, Riccardo Rosati 0001, Marco Ruzzi, Valerio Santarelli |
Semantic Analysis of R2RML Mappings for Ontology-Based Data Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings, pp. 25-38, 2016, Springer, 978-3-319-45275-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Magdalena Ortiz 0001, Stefan Schlobach (eds.) |
Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![Springer, 978-3-319-45275-3 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Reza Basseda, Michael Kifer |
Planning with Regression Analysis in Transaction Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings, pp. 45-60, 2015, Springer, 978-3-319-22001-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mario Alviano, Wolfgang Faber 0001 |
Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings, pp. 30-44, 2015, Springer, 978-3-319-22001-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Weronika T. Adrian, Nicola Leone, Marco Manna |
Semantic Views of Homogeneous Unstructured Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings, pp. 19-29, 2015, Springer, 978-3-319-22001-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Jeff Z. Pan, Patrik Schneider, Mantas Simkus, Guohui Xiao 0001 |
A Rule-based Framework for Creating Instance Data from OpenStreetMap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings, pp. 93-104, 2015, Springer, 978-3-319-22001-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Benny Kimelfeld |
Extending Datalog Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings, pp. 1-10, 2015, Springer, 978-3-319-22001-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Balder ten Cate, Alessandra Mileo (eds.) |
Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![Springer, 978-3-319-22001-7 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina |
An Ontology for Historical Research Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings, pp. 11-18, 2015, Springer, 978-3-319-22001-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria |
Web Ontology Representation and Reasoning via Fragments of Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings, pp. 61-76, 2015, Springer, 978-3-319-22001-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Germano, Thu-Le Pham, Alessandra Mileo |
Web Stream Reasoning in Practice: On the Expressivity vs. Scalability Tradeoff. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings, pp. 105-112, 2015, Springer, 978-3-319-22001-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ana Sofia Gomes, José Júlio Alferes |
A Procedure for an Event-Condition-Transaction Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings, pp. 113-129, 2015, Springer, 978-3-319-22001-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carmine Dodaro, Nicola Leone, Barbara Nardi, Francesco Ricca |
Allotment Problem in Travel Industry: A Solution Based on ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings, pp. 77-92, 2015, Springer, 978-3-319-22001-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Eli Katsiri, George Papastefanatos, Manolis Terrovitis, Timos K. Sellis |
Airport Context Analytics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 179-184, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Nolle, Christian Meilicke, Heiner Stuckenschmidt, German Nemirovski |
Efficient Federated Debugging of Lightweight Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 206-215, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Szymon Klarman, Thomas Meyer 0002 |
Querying Temporal Databases via OWL 2 QL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 92-107, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Nickles, Alessandra Mileo |
Web Stream Reasoning Using Probabilistic Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 197-205, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Maria Karpathiotaki, Kallirroi Dogani, Manolis Koubarakis, Bernard Valentin, Paolo Mazzetti, Mattia Santoro, Sabina Di Franco |
Semantic Search for Earth Observartion Products using Ontology Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 173-178, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis |
Exchange-Repairs: Managing Inconsistency in Data Exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 140-156, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexandros Chortaras, Nasos Drosopoulos, Ilianna Kollia, Nikolaos Simou |
Web Reasoning for Cultural Heritage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 23-28, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Reza Basseda, Michael Kifer, Anthony J. Bonner |
Planning with Transaction Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 29-44, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Marra, Antonino Nocera, Francesco Ricca, Giorgio Terracina, Domenico Ursino |
Investigating Information Diffusion in a Multi-Social-Network Scenario via Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 191-196, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mathew Joseph, Gabriel M. Kuper, Luciano Serafini |
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 60-75, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Lembo, Jose Mora, Riccardo Rosati 0001, Domenico Fabio Savo, Evgenij Thorstensen |
Towards Mapping Analysis in Ontology-Based Data Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 108-123, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luca Pulina |
An Ontology for Container Terminal Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 224-229, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Magdalena Ortiz 0001, Mantas Simkus |
Revisiting the Hardness of Query Answering in Expressive Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 216-223, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Giorgos Stoilos |
Hydrowl: A Hybrid Query Answering System for OWL 2 DL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 230-238, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan |
Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 124-139, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Roman Kontchakov, Marie-Laure Mugnier (eds.) |
Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![Springer, 978-3-319-11112-4 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Guohui Xiao 0001, Martin Rezk, Mariano Rodriguez-Muro, Diego Calvanese |
Rules and Ontology Based Data Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 157-172, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Markus Krötzsch |
P ≠ P - Why Some Reasoning Problems Are More Tractable Than Others. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 1-22, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau |
Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 76-91, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yi Bi, Jia-Huai You, Zhiyong Feng 0002 |
A Generalization of Approximation Fixpoint Theory and Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 45-59, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios A. Koutsomitropoulos, Georgia D. Solomou, Aikaterini K. Kalou |
Navigating among Educational Resources in the Web of Linked Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 185-190, 2014, Springer, 978-3-319-11112-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mika Cohen |
Semantics for Mapping Relations in SKOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 223-228, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Beibei Hu, Yves Vanrompay, Marie-Aude Aufaure |
PQMPMS: A Preference-enabled Querying Mechanism for Personalized Mobile Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 235-240, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Brass, Heike Stephan |
A Variant of Earley Deduction with Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 35-49, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Console, Valerio Santarelli, Domenico Fabio Savo |
From OWL to DL - Lite through Efficient Ontology Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 229-234, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo |
On the Exploration of the Query Rewriting Space with Existential Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 123-137, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese |
BUNDLE: A Reasoner for Probabilistic Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 183-197, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Nardi, Kristian Reale, Francesco Ricca, Giorgio Terracina |
An Integrated Environment for Reasoning over Ontologies via Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 253-258, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Berstel-Da Silva, Amina Chniti |
Detection of Inconsistencies in Rules Due to Changes in Ontologies: Let's Get Formal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 198-203, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 |
Inconsistency Management for Description Logic Programs and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 1-3, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Rémi Bourguet, Giuseppe Cicala, Luca Pulina, Armando Tacchella |
OBDA and Intermodal Logistics: Active Projects and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 210-215, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen |
Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 168-182, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szalas |
HornDL: An Expressive Horn Description Logic with PTime Data Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 259-264, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Mileo, Ahmed Abdelrahman, Sean Policarpio, Manfred Hauswirth |
StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 247-252, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Carrara, Giorgio Orsi 0001, Letizia Tanca |
Semantic Pervasive Advertising. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 216-222, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Gaha, Arnaud Zinflou, Christian Langheit, Alexandre Bouffard, Mathieu Viau, Luc Vouligny |
An Ontology-Based Reasoning Approach for Electric Power Utilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 95-108, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo |
Reasoning About Pattern-Based XML Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 4-18, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Faber 0001, Domenico Lembo (eds.) |
Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![Springer, 978-3-642-39665-6 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Charalampos Nikolaou, Manolis Koubarakis |
Incomplete Information in RDF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 138-152, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
Verification and Synthesis in Description Logic Based Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 50-64, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Fleischhacker, Christian Meilicke, Johanna Völker, Mathias Niepert |
Computing Incoherence Explanations for Learned Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 80-94, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Binnewies, Yisong Wang, Bela Stantic, Kewen Wang 0001 |
Rule Revision in Normal DL Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 204-209, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Grasso 0001, Nicola Leone, Francesco Ricca |
Answer Set Programming: Language, Applications and Development Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 19-34, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese |
Parameter Learning for Probabilistic Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 265-270, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michel Leclère, Marie-Laure Mugnier, Swan Rocher |
Kiabora: An Analyzer of Existential Rule Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 241-246, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev |
Conjunctive Queries with Negation over DL-Lite: A Closer Look. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 109-122, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Rodler, Kostyantyn M. Shchekotykhin, Philipp Fleiss, Gerhard Friedrich |
RIO: Minimizing User Interaction in Ontology Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 153-167, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David Carral, Cong Wang 0016, Pascal Hitzler |
Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 65-79, 2013, Springer, 978-3-642-39665-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo |
A Sound and Complete Backward Chaining Algorithm for Existential Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 122-138, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Borgwardt, Rafael Peñaloza |
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 9-24, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Nader Jelassi |
A Quadratic Approach for Trend Detection in Folksonomies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 278-283, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Manolis Koubarakis, Manos Karpathiotakis, Kostis Kyzirakos, Charalampos Nikolaou, Stavros Vassos, George Garbis, Michael Sioutis, Konstantina Bereta, Stefan Manegold, Martin L. Kersten, Milena Ivanova, Holger Pirk, Ying Zhang 0027, Charalambos Kontoes, Ioannis Papoutsis, Themistoklis Herekakis, Dimitrios Michail 0001, Mihai Datcu, Gottfried Schwarz, Corneliu Octavian Dumitru, Daniela Espinoza-Molina, Katrin Molch, Ugo Di Giammatteo, Manuela Sagona, Sergio Perelli, Eva Klien, Thorsten Reitz, Robert Gregor |
Building Virtual Earth Observatories Using Ontologies and Linked Geospatial Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 229-233, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Senlin Liang |
Non-termination Analysis and Cost-Based Query Optimization of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 284-290, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov |
An Update on Query Answering with Restricted Forms of Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 75-89, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 |
Semantic Independence in DL-Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 58-74, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Di Noia |
Semantic Matchmaking and Ranking: Beyond Deduction in Retrieval Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 5-8, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Umbrich, Aidan Hogan, Axel Polleres, Stefan Decker |
Improving the Recall of Live Linked Data Querying through Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 188-204, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso |
Ontology-Based Governance of Data-Aware Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 25-41, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adila Krisnadhi, Pascal Hitzler |
A Tableau Algorithm for Description Logics with Nominal Schema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 234-237, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Senlin Liang, Michael Kifer |
Deriving Predicate Statistics for Logic Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 139-155, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Víctor Gutiérrez-Basulto, Szymon Klarman |
Towards a Unifying Approach to Representing and Querying Temporal Data in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 90-105, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Faber 0001 |
A Polynomial Reduction from ASPDA to ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 213-216, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ario Santoso |
When Data, Knowledge and Processes Meet Together. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 291-296, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Beibei Hu, Theodore Patkos, Abdelghani Chibani, Yacine Amirat |
Rule-Based Context Assessment in Smart Cities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 221-224, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Valentinos Evripidou, Francesca Toni |
Argumentation and Voting for an Intelligent User Empowering Business Directory on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 209-212, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos |
Query Rewriting under Ontology Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 172-187, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Denis K. Ponomaryov, Dmitry Vlasov |
On Definability and Redundancy in $\cal{EL}$ -TBoxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 250-253, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Franconi, Nhung Ngo, Evgeny Sherkhonov |
The Definability Abduction Problem for Data Exchange - (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 217-220, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nadeschda Nikitina, Sebastian Rudolph |
On the (Non-)Succinctness of Uniform Interpolation in General ${\mathcal{EL}}$ Terminologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 246-249, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Brewka |
Multi-context Systems: Specifying the Interaction of Knowledge Bases Declaratively. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 1-4, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari |
Consistent Answers in Probabilistic Datalog+/- Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 156-171, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Elena Botoeva |
Description Logic Knowledge Base Exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 266-271, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anna Ryabokon, Axel Polleres, Gerhard Friedrich, Andreas A. Falkner, Alois Haselböck, Herwig Schreiner |
(Re)Configuration Using Web Data: A Case Study on the Reviewer Assignment Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 258-261, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tomi Janhunen, Vesa Luukkala |
Meta Programming with Answer Sets for Smart Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 106-121, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Civili |
Research Summary: Datalog-Based Data Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 272-277, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|