default search action
7. RR 2013: Mannheim, Germany
- Wolfgang Faber, Domenico Lembo:
Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings. Lecture Notes in Computer Science 7994, Springer 2013, ISBN 978-3-642-39665-6
Invited Talks
- Thomas Eiter, Michael Fink, Daria Stepanova:
Inconsistency Management for Description Logic Programs and Beyond. 1-3 - Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo:
Reasoning About Pattern-Based XML Queries. 4-18 - Giovanni Grasso, Nicola Leone, Francesco Ricca:
Answer Set Programming: Language, Applications and Development Tools. 19-34
Full Papers
- Stefan Brass, Heike Stephan:
A Variant of Earley Deduction with Partial Evaluation. 35-49 - Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification and Synthesis in Description Logic Based Dynamic Systems. 50-64 - David Carral, Cong Wang, Pascal Hitzler:
Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas. 65-79 - Daniel Fleischhacker, Christian Meilicke, Johanna Völker, Mathias Niepert:
Computing Incoherence Explanations for Learned Ontologies. 80-94 - Mohamed Gaha, Arnaud Zinflou, Christian Langheit, Alexandre Bouffard, Mathieu Viau, Luc Vouligny:
An Ontology-Based Reasoning Approach for Electric Power Utilities. 95-108 - 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. 109-122 - Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo:
On the Exploration of the Query Rewriting Space with Existential Rules. 123-137 - Charalampos Nikolaou, Manolis Koubarakis:
Incomplete Information in RDF. 138-152 - Patrick Rodler, Kostyantyn M. Shchekotykhin, Philipp Fleiss, Gerhard Friedrich:
RIO: Minimizing User Interaction in Ontology Debugging. 153-167 - Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen:
Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. 168-182 - Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
BUNDLE: A Reasoner for Probabilistic Ontologies. 183-197
Technical Communications
- Bruno Berstel-Da Silva, Amina Chniti:
Detection of Inconsistencies in Rules Due to Changes in Ontologies: Let's Get Formal. 198-203 - Sebastian Binnewies, Yisong Wang, Bela Stantic, Kewen Wang:
Rule Revision in Normal DL Logic Programs. 204-209 - Jean-Rémi Bourguet, Giuseppe Cicala, Luca Pulina, Armando Tacchella:
OBDA and Intermodal Logistics: Active Projects and Applications. 210-215 - Lorenzo Carrara, Giorgio Orsi, Letizia Tanca:
Semantic Pervasive Advertising. 216-222 - Mika Cohen:
Semantics for Mapping Relations in SKOS. 223-228 - Marco Console, Valerio Santarelli, Domenico Fabio Savo:
From OWL to DL - Lite through Efficient Ontology Approximation. 229-234 - Beibei Hu, Yves Vanrompay, Marie-Aude Aufaure:
PQMPMS: A Preference-enabled Querying Mechanism for Personalized Mobile Search. 235-240 - Michel Leclère, Marie-Laure Mugnier, Swan Rocher:
Kiabora: An Analyzer of Existential Rule Bases. 241-246 - Alessandra Mileo, Ahmed Abdelrahman, Sean Policarpio, Manfred Hauswirth:
StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web. 247-252 - Barbara Nardi, Kristian Reale, Francesco Ricca, Giorgio Terracina:
An Integrated Environment for Reasoning over Ontologies via Logic Programming. 253-258 - Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szalas:
HornDL: An Expressive Horn Description Logic with PTime Data Complexity. 259-264 - Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese:
Parameter Learning for Probabilistic Ontologies. 265-270
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.