Login / Signup
RR
2007
2010
2013
2016
2007
2016
Keyphrases
Publications
2016
Stathis Delivorias
,
Sebastian Rudolph
Revisiting Grounded Circumscription in Description Logics.
RR
(2016)
Birte Glimm
,
Yevgeny Kazakov
,
Trung-Kien Tran
Scalable Reasoning by Abstraction Beyond DL-Lite.
RR
(2016)
Mostafa Milani
,
Leopoldo E. Bertossi
: Query-Answering Tractability and Optimizations.
RR
(2016)
Kwabena Nuamah
,
Alan Bundy
,
Christopher Lucas
Functional Inferences over Heterogeneous Data.
RR
(2016)
Olivier Corby
,
Catherine Faron-Zucker
,
Raphaël Gazzotti
Validating Ontologies Against OWL 2 Profiles with the SPARQL Template Transformation Language.
RR
(2016)
Leonid Libkin
Negative Knowledge for Certain Query Answers.
RR
(2016)
Mirko Michele Dimartino
,
Andrea Calì
,
Alexandra Poulovassilis
,
Peter T. Wood
Knowledge Bases.
RR
(2016)
Georg Gottlob
,
Andreas Pieris
,
Mantas Simkus
The Impact of Active Domain Predicates on Guarded Existential Rules.
RR
(2016)
Cristina Civili
,
Jose Mora
,
Riccardo Rosati
,
Marco Ruzzi
,
Valerio Santarelli
Semantic Analysis of R2RML Mappings for Ontology-Based Data Access.
RR
(2016)
Meghyn Bienvenu
,
Michaël Thomazo
On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules.
RR
(2016)
Mostafa Milani
,
Andrea Calì
,
Leopoldo E. Bertossi
A Hybrid Approach to Query Answering Under Expressive Datalog ^\pm.
RR
(2016)
Yuan Ren
,
Jeff Z. Pan
,
Isa Guclu
,
Martin J. Kollingbaum
A Combined Approach to Incremental Reasoning for EL Ontologies.
RR
(2016)
Diego Calvanese
,
Elem Güzel Kalayci
,
Vladislav Ryzhikov
,
Guohui Xiao
Towards Practical OBDA with Temporal Ontologies - (Position Paper).
RR
(2016)
volume 9898, 2016
Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings
RR
9898 (2016)
2015
Ana Sofia Gomes
,
José Júlio Alferes
A Procedure for an Event-Condition-Transaction Language.
RR
(2015)
Weronika T. Adrian
,
Nicola Leone
,
Marco Manna
Semantic Views of Homogeneous Unstructured Data.
RR
(2015)
Stefano Germano
,
Thu-Le Pham
,
Alessandra Mileo
Web Stream Reasoning in Practice: On the Expressivity vs. Scalability Tradeoff.
RR
(2015)
Giovanni Adorni
,
Marco Maratea
,
Laura Pandolfo
,
Luca Pulina
An Ontology for Historical Research Documents.
RR
(2015)
Carmine Dodaro
,
Nicola Leone
,
Barbara Nardi
,
Francesco Ricca
Allotment Problem in Travel Industry: A Solution Based on ASP.
RR
(2015)
Domenico Cantone
,
Cristiano Longo
,
Marianna Nicolosi Asmundo
,
Daniele Francesco Santamaria
Web Ontology Representation and Reasoning via Fragments of Set Theory.
RR
(2015)
Thomas Eiter
,
Jeff Z. Pan
,
Patrik Schneider
,
Mantas Simkus
,
Guohui Xiao
A Rule-based Framework for Creating Instance Data from OpenStreetMap.
RR
(2015)
Reza Basseda
,
Michael Kifer
Planning with Regression Analysis in Transaction Logic.
RR
(2015)
Mario Alviano
,
Wolfgang Faber
Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms.
RR
(2015)
Benny Kimelfeld
Extending Datalog Intelligence.
RR
(2015)
volume 9209, 2015
Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings
RR
9209 (2015)
2014
Theofilos P. Mailis
,
Rafael Peñaloza
,
Anni-Yasmin Turhan
Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics.
RR
(2014)
Maria Karpathiotaki
,
Kallirroi Dogani
,
Manolis Koubarakis
,
Bernard Valentin
,
Paolo Mazzetti
,
Mattia Santoro
,
Sabina Di Franco
Semantic Search for Earth Observartion Products using Ontology Services.
RR
(2014)
Dimitrios A. Koutsomitropoulos
,
Georgia D. Solomou
,
Aikaterini K. Kalou
Navigating among Educational Resources in the Web of Linked Data.
RR
(2014)
Szymon Klarman
,
Thomas Meyer
Querying Temporal Databases via OWL 2 QL.
RR
(2014)
Matthias Nickles
,
Alessandra Mileo
Web Stream Reasoning Using Probabilistic Answer Set Programming.
RR
(2014)
Domenico Lembo
,
Jose Mora
,
Riccardo Rosati
,
Domenico Fabio Savo
,
Evgenij Thorstensen
Towards Mapping Analysis in Ontology-Based Data Access.
RR
(2014)
Mark Kaminski
,
Yavor Nenov
,
Bernardo Cuenca Grau
Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies.
RR
(2014)
Giuseppe Marra
,
Antonino Nocera
,
Francesco Ricca
,
Giorgio Terracina
,
Domenico Ursino
Investigating Information Diffusion in a Multi-Social-Network Scenario via Answer Set Programming.
RR
(2014)
Yi Bi
,
Jia-Huai You
,
Zhiyong Feng
A Generalization of Approximation Fixpoint Theory and Application.
RR
(2014)
Balder ten Cate
,
Richard L. Halpert
,
Phokion G. Kolaitis
Exchange-Repairs: Managing Inconsistency in Data Exchange.
RR
(2014)
Magdalena Ortiz
,
Mantas Simkus
Revisiting the Hardness of Query Answering in Expressive Description Logics.
RR
(2014)
Eli Katsiri
,
George Papastefanatos
,
Manolis Terrovitis
,
Timos K. Sellis
Airport Context Analytics.
RR
(2014)
Mathew Joseph
,
Gabriel M. Kuper
,
Luciano Serafini
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity.
RR
(2014)
Luca Pulina
An Ontology for Container Terminal Operations.
RR
(2014)
Markus Krötzsch
P ≠ P - Why Some Reasoning Problems Are More Tractable Than Others.
RR
(2014)
Guohui Xiao
,
Martin Rezk
,
Mariano Rodriguez-Muro
,
Diego Calvanese
Rules and Ontology Based Data Access.
RR
(2014)
Andreas Nolle
,
Christian Meilicke
,
Heiner Stuckenschmidt
,
German Nemirovski
Efficient Federated Debugging of Lightweight Ontologies.
RR
(2014)
Giorgos Stoilos
Hydrowl: A Hybrid Query Answering System for OWL 2 DL Ontologies.
RR
(2014)
Alexandros Chortaras
,
Nasos Drosopoulos
,
Ilianna Kollia
,
Nikolaos Simou
Web Reasoning for Cultural Heritage.
RR
(2014)
Reza Basseda
,
Michael Kifer
,
Anthony J. Bonner
Planning with Transaction Logic.
RR
(2014)
volume 8741, 2014
Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings
RR
8741 (2014)
2013
Amélie Gheerbrant
,
Leonid Libkin
,
Cristina Sirangelo
Reasoning About Pattern-Based XML Queries.
RR
(2013)
Mohamed Gaha
,
Arnaud Zinflou
,
Christian Langheit
,
Alexandre Bouffard
,
Mathieu Viau
,
Luc Vouligny
An Ontology-Based Reasoning Approach for Electric Power Utilities.
RR
(2013)
Marco Console
,
Valerio Santarelli
,
Domenico Fabio Savo
From OWL to DL - Lite through Efficient Ontology Approximation.
RR
(2013)
volume 7994, 2013
Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
RR
7994 (2013)