default search action
6. 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
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
Building Virtual Earth Observatories Using Ontologies and Linked Geospatial Data. 229-233 - Adila Krisnadhi
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
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
A Mobile Reasoner for Semantic-Based Matchmaking. 254-257 - Anna Ryabokon
(Re)Configuration Using Web Data: A Case Study on the Reviewer Assignment Problem. 258-261 - Juan F. Sequeda
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 2024-11-04 20:29 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: