Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran |
Scalable Reasoning by Abstraction Beyond DL-Lite. |
RR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Leonid Libkin |
Negative Knowledge for Certain Query Answers. |
RR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mostafa Milani, Andrea Calì, Leopoldo E. Bertossi |
A Hybrid Approach to Query Answering Under Expressive Datalog ^\pm. |
RR |
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. |
RR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kwabena Nuamah, Alan Bundy, Christopher Lucas 0001 |
Functional Inferences over Heterogeneous Data. |
RR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Georg Gottlob, Andreas Pieris, Mantas Simkus |
The Impact of Active Domain Predicates on Guarded Existential Rules. |
RR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mirko Michele Dimartino, Andrea Calì, Alexandra Poulovassilis, Peter T. Wood |
Query Rewriting under Linear EL Knowledge Bases. |
RR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stathis Delivorias, Sebastian Rudolph |
Revisiting Grounded Circumscription in Description Logics. |
RR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mostafa Milani, Leopoldo E. Bertossi |
Extending Weakly-Sticky Datalog±: Query-Answering Tractability and Optimizations. |
RR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Meghyn Bienvenu, Michaël Thomazo |
On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules. |
RR |
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. |
RR |
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). |
RR |
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. |
RR |
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 |
RR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Reza Basseda, Michael Kifer |
Planning with Regression Analysis in Transaction Logic. |
RR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mario Alviano, Wolfgang Faber 0001 |
Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms. |
RR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Weronika T. Adrian, Nicola Leone, Marco Manna |
Semantic Views of Homogeneous Unstructured Data. |
RR |
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. |
RR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Benny Kimelfeld |
Extending Datalog Intelligence. |
RR |
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 |
RR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina |
An Ontology for Historical Research Documents. |
RR |
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. |
RR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Germano, Thu-Le Pham, Alessandra Mileo |
Web Stream Reasoning in Practice: On the Expressivity vs. Scalability Tradeoff. |
RR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ana Sofia Gomes, José Júlio Alferes |
A Procedure for an Event-Condition-Transaction Language. |
RR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carmine Dodaro, Nicola Leone, Barbara Nardi, Francesco Ricca |
Allotment Problem in Travel Industry: A Solution Based on ASP. |
RR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Eli Katsiri, George Papastefanatos, Manolis Terrovitis, Timos K. Sellis |
Airport Context Analytics. |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Nolle, Christian Meilicke, Heiner Stuckenschmidt, German Nemirovski |
Efficient Federated Debugging of Lightweight Ontologies. |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Szymon Klarman, Thomas Meyer 0002 |
Querying Temporal Databases via OWL 2 QL. |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Nickles, Alessandra Mileo |
Web Stream Reasoning Using Probabilistic Answer Set Programming. |
RR |
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. |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis |
Exchange-Repairs: Managing Inconsistency in Data Exchange. |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexandros Chortaras, Nasos Drosopoulos, Ilianna Kollia, Nikolaos Simou |
Web Reasoning for Cultural Heritage. |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Reza Basseda, Michael Kifer, Anthony J. Bonner |
Planning with Transaction Logic. |
RR |
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. |
RR |
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. |
RR |
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. |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luca Pulina |
An Ontology for Container Terminal Operations. |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Magdalena Ortiz 0001, Mantas Simkus |
Revisiting the Hardness of Query Answering in Expressive Description Logics. |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Giorgos Stoilos |
Hydrowl: A Hybrid Query Answering System for OWL 2 DL Ontologies. |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan |
Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics. |
RR |
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 |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Guohui Xiao 0001, Martin Rezk, Mariano Rodriguez-Muro, Diego Calvanese |
Rules and Ontology Based Data Access. |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Markus Krötzsch |
P ≠ P - Why Some Reasoning Problems Are More Tractable Than Others. |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau |
Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies. |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yi Bi, Jia-Huai You, Zhiyong Feng 0002 |
A Generalization of Approximation Fixpoint Theory and Application. |
RR |
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. |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mika Cohen |
Semantics for Mapping Relations in SKOS. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Beibei Hu, Yves Vanrompay, Marie-Aude Aufaure |
PQMPMS: A Preference-enabled Querying Mechanism for Personalized Mobile Search. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Brass, Heike Stephan |
A Variant of Earley Deduction with Partial Evaluation. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Console, Valerio Santarelli, Domenico Fabio Savo |
From OWL to DL - Lite through Efficient Ontology Approximation. |
RR |
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. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese |
BUNDLE: A Reasoner for Probabilistic Ontologies. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Nardi, Kristian Reale, Francesco Ricca, Giorgio Terracina |
An Integrated Environment for Reasoning over Ontologies via Logic Programming. |
RR |
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. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 |
Inconsistency Management for Description Logic Programs and Beyond. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Rémi Bourguet, Giuseppe Cicala, Luca Pulina, Armando Tacchella |
OBDA and Intermodal Logistics: Active Projects and Applications. |
RR |
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. |
RR |
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. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Mileo, Ahmed Abdelrahman, Sean Policarpio, Manfred Hauswirth |
StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Carrara, Giorgio Orsi 0001, Letizia Tanca |
Semantic Pervasive Advertising. |
RR |
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. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo |
Reasoning About Pattern-Based XML Queries. |
RR |
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 |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Charalampos Nikolaou, Manolis Koubarakis |
Incomplete Information in RDF. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
Verification and Synthesis in Description Logic Based Dynamic Systems. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Fleischhacker, Christian Meilicke, Johanna Völker, Mathias Niepert |
Computing Incoherence Explanations for Learned Ontologies. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Binnewies, Yisong Wang, Bela Stantic, Kewen Wang 0001 |
Rule Revision in Normal DL Logic Programs. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Grasso 0001, Nicola Leone, Francesco Ricca |
Answer Set Programming: Language, Applications and Development Tools. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese |
Parameter Learning for Probabilistic Ontologies. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michel Leclère, Marie-Laure Mugnier, Swan Rocher |
Kiabora: An Analyzer of Existential Rule Bases. |
RR |
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. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Rodler, Kostyantyn M. Shchekotykhin, Philipp Fleiss, Gerhard Friedrich |
RIO: Minimizing User Interaction in Ontology Debugging. |
RR |
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. |
RR |
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. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Borgwardt, Rafael Peñaloza |
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Nader Jelassi |
A Quadratic Approach for Trend Detection in Folksonomies. |
RR |
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. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Senlin Liang |
Non-termination Analysis and Cost-Based Query Optimization of Logic Programs. |
RR |
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. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 |
Semantic Independence in DL-Programs. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Di Noia |
Semantic Matchmaking and Ranking: Beyond Deduction in Retrieval Scenarios. |
RR |
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. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso |
Ontology-Based Governance of Data-Aware Processes. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adila Krisnadhi, Pascal Hitzler |
A Tableau Algorithm for Description Logics with Nominal Schema. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Senlin Liang, Michael Kifer |
Deriving Predicate Statistics for Logic Rules. |
RR |
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. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Faber 0001 |
A Polynomial Reduction from ASPDA to ASP. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ario Santoso |
When Data, Knowledge and Processes Meet Together. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Beibei Hu, Theodore Patkos, Abdelghani Chibani, Yacine Amirat |
Rule-Based Context Assessment in Smart Cities. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Valentinos Evripidou, Francesca Toni |
Argumentation and Voting for an Intelligent User Empowering Business Directory on the Web. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos |
Query Rewriting under Ontology Contraction. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Denis K. Ponomaryov, Dmitry Vlasov |
On Definability and Redundancy in $\cal{EL}$ -TBoxes. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Franconi, Nhung Ngo, Evgeny Sherkhonov |
The Definability Abduction Problem for Data Exchange - (Abstract). |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nadeschda Nikitina, Sebastian Rudolph |
On the (Non-)Succinctness of Uniform Interpolation in General ${\mathcal{EL}}$ Terminologies. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Brewka |
Multi-context Systems: Specifying the Interaction of Knowledge Bases Declaratively. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari |
Consistent Answers in Probabilistic Datalog+/- Ontologies. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Elena Botoeva |
Description Logic Knowledge Base Exchange. |
RR |
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. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tomi Janhunen, Vesa Luukkala |
Meta Programming with Answer Sets for Smart Spaces. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Civili |
Research Summary: Datalog-Based Data Access. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|