default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. RR 2012: Vienna, Austria
- Markus Krötzsch, Umberto Straccia
:
Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings. Lecture Notes in Computer Science 7497, Springer 2012, ISBN 978-3-642-33202-9
Invited Talks
- Gerhard Brewka:
Multi-context Systems: Specifying the Interaction of Knowledge Bases Declaratively. 1-4 - Tommaso Di Noia:
Semantic Matchmaking and Ranking: Beyond Deduction in Retrieval Scenarios. 5-8
Research Papers
- Stefan Borgwardt, Rafael Peñaloza:
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices. 9-24 - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso:
Ontology-Based Governance of Data-Aware Processes. 25-41 - Cristina Civili, Riccardo Rosati:
Query Patterns for Existential Rules. 42-57 - Thomas Eiter, Michael Fink, Daria Stepanova:
Semantic Independence in DL-Programs. 58-74 - 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. 75-89 - Víctor Gutiérrez-Basulto, Szymon Klarman:
Towards a Unifying Approach to Representing and Querying Temporal Data in Description Logics. 90-105 - Tomi Janhunen, Vesa Luukkala:
Meta Programming with Answer Sets for Smart Spaces. 106-121 - Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo:
A Sound and Complete Backward Chaining Algorithm for Existential Rules. 122-138 - Senlin Liang, Michael Kifer:
Deriving Predicate Statistics for Logic Rules. 139-155 - Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari:
Consistent Answers in Probabilistic Datalog+/- Ontologies. 156-171 - Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos:
Query Rewriting under Ontology Contraction. 172-187 - Jürgen Umbrich, Aidan Hogan, Axel Polleres, Stefan Decker:
Improving the Recall of Live Linked Data Querying through Reasoning. 188-204
Technical Communications
- Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina:
Distributed Ontology Based Data Access via Logic Programming. 205-208 - Valentinos Evripidou, Francesca Toni:
Argumentation and Voting for an Intelligent User Empowering Business Directory on the Web. 209-212 - Wolfgang Faber:
A Polynomial Reduction from ASPDA to ASP. 213-216 - Enrico Franconi, Nhung Ngo, Evgeny Sherkhonov:
The Definability Abduction Problem for Data Exchange - (Abstract). 217-220 - Beibei Hu, Theodore Patkos, Abdelghani Chibani, Yacine Amirat:
Rule-Based Context Assessment in Smart Cities. 221-224 - Matthias Knorr, David Carral Martínez, Pascal Hitzler, Adila Alfa Krisnadhi, Frederick Maier, Cong Wang:
Recent Advances in Integrating OWL and Rules (Technical Communication). 225-228 - 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, Charalambos Kontoes, Ioannis Papoutsis, Themistoklis Herekakis, Dimitrios Michail, 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. 229-233 - Adila Krisnadhi, Pascal Hitzler:
A Tableau Algorithm for Description Logics with Nominal Schema. 234-237 - Chang Liu, Guilin Qi:
Toward Scalable Reasoning over Annotated RDF Data Using MapReduce. 238-241 - Anees Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph:
On Integrating Description Logics and Rules under Minimal Hypotheses. 242-245 - Nadeschda Nikitina, Sebastian Rudolph:
On the (Non-)Succinctness of Uniform Interpolation in General ${\mathcal{EL}}$ Terminologies. 246-249 - Denis K. Ponomaryov, Dmitry Vlasov:
On Definability and Redundancy in $\cal{EL}$ -TBoxes. 250-253 - Michele Ruta, Floriano Scioscia, Giuseppe Loseto, Filippo Gramegna, Eugenio Di Sciascio:
A Mobile Reasoner for Semantic-Based Matchmaking. 254-257 - 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. 258-261 - Juan F. Sequeda, Marcelo Arenas, Daniel P. Miranker:
Ontology-Based Data Access Using Views. 262-265
Doctoral Consortium Research Summaries
- Elena Botoeva:
Description Logic Knowledge Base Exchange. 266-271 - Cristina Civili:
Research Summary: Datalog-Based Data Access. 272-277 - Mohamed Nader Jelassi:
A Quadratic Approach for Trend Detection in Folksonomies. 278-283 - Senlin Liang:
Non-termination Analysis and Cost-Based Query Optimization of Logic Programs. 284-290 - Ario Santoso:
When Data, Knowledge and Processes Meet Together. 291-296
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-08 00:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
