Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Leopoldo E. Bertossi, Andrea Calì, Mostafa Milani |
Query Answering on Expressive Datalog+/- Ontologies. |
AMW |
2016 |
DBLP BibTeX RDF |
|
14 | Shqiponja Ahmetaj, Magdalena Ortiz 0001, Mantas Simkus |
Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates. |
AMW |
2016 |
DBLP BibTeX RDF |
|
14 | André Frochaux, Nicole Schweikardt |
Monadic Datalog Containment on Trees Using the Descendant-Axis. |
AMW |
2016 |
DBLP BibTeX RDF |
|
14 | Carlo Zaniolo, Mohan Yang, Ariyam Das, Matteo Interlandi |
The Magic of Pushing Extrema into Recursion: Simple, Powerful Datalog Programs. |
AMW |
2016 |
DBLP BibTeX RDF |
|
14 | Marcelo Arenas, Georg Gottlob, Andreas Pieris |
A Datalog-Based Language for Querying RDF Graphs. |
AMW |
2016 |
DBLP BibTeX RDF |
|
14 | Francisco J. Álvarez-Montero, Fernando Sáenz-Pérez, Antonio Vaquero-Sánchez |
Using Datalog to provide just-in-time feedback during the construction of concept maps. |
Expert Syst. Appl. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marciuska |
Preference-Based Query Answering in Probabilistic Datalog+/- Ontologies. |
J. Data Semant. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt |
A closer look at the semantic relationship between Datalog and description logics. |
Semantic Web |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Stephen H. Muggleton, Dianhuan Lin, Alireza Tamaddoni-Nezhad |
Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited. |
Mach. Learn. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks 0001 |
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner. |
J. Artif. Intell. Res. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jiwon Seo 0002, Stephen Guo, Monica S. Lam |
SociaLite: An Efficient Graph Query Language Based on Datalog. |
IEEE Trans. Knowl. Data Eng. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski |
Eliminating Recursion from Monadic Datalog Programs on Trees. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
14 | Fernando Sáenz-Pérez |
Restricted Predicates for Hypothetical Datalog. |
PROLE |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov |
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
14 | Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks 0001 |
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
14 | Mostafa Milani, Leopoldo E. Bertossi |
Tractable Query Answering and Optimization for Extensions of Weakly-Sticky Datalog+-. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
14 | Nadime Francis, Luc Segoufin, Cristina Sirangelo |
Datalog Rewritings of Regular Path Queries using Views. |
Log. Methods Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jacopo Urbani, Ceriel J. H. Jacobs, Markus Krötzsch |
Column-Oriented Datalog Materialization for Large Knowledge Graphs (Extended Technical Report). |
CoRR |
2015 |
DBLP BibTeX RDF |
|
14 | Jingjing Wang 0008, Magdalena Balazinska, Daniel Halperin |
Asynchronous and Fault-Tolerant Recursive Datalog Evaluation in Shared-Nothing Engines. (PDF / PS) |
Proc. VLDB Endow. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Deutch, Amir Gilad, Yuval Moskovitch |
Selective Provenance for Datalog Programs Using Top-K Queries. (PDF / PS) |
Proc. VLDB Endow. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Saad Zafar, Naurin Farooq Khan, Musharif Ahmed |
Requirements simulation for early validation using Behavior Trees and Datalog. |
Inf. Softw. Technol. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Sergio Greco, Cristian Molinaro |
Datalog and Logic Databases |
|
2015 |
DOI RDF |
|
14 | Bernhard Scholz, Kostyantyn Vorobyov, Padmanabhan Krishnan, Till Westmann |
A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report. |
ASWEC |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Changlong Wang, Zhiyong Feng 0002, Guozheng Rao, Xin Wang 0030, Xiaowang Zhang |
From Datalog Reasoning to Modular Structure of an Ontology. |
ISWC (Posters & Demos) |
2015 |
DBLP BibTeX RDF |
|
14 | Abdallah Arioua, Nouredine Tamani, Madalina Croitoru |
Query Answering Explanation in Inconsistent Datalog +/- Knowledge Bases. |
DEXA (1) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota |
Abductive logic programming for Datalog +/- ontologies. |
CILC |
2015 |
DBLP BibTeX RDF |
|
14 | Mikolaj Bojanczyk, Filip Murlak, Adam Witkowski |
Containment of Monadic Datalog Programs via Bounded Clique-Width. |
ICALP (2) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota |
An Abductive Framework for Datalog± Ontologies. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
14 | Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski |
Eliminating Recursion from Monadic Datalog Programs on Trees. |
MFCS (1) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks 0001 |
Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. |
AAAI |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks 0001 |
Ontology Module Extraction via Datalog Reasoning. |
AAAI |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna |
Checking Termination of Datalog with Function Symbols Through Linear Constraints. |
SEBD |
2015 |
DBLP BibTeX RDF |
|
14 | Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn |
Datalog Queries Distributing over Components. |
ICDT |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
Debugging of wrong and missing answers for datalog programs with constraint handling rules. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jacek Sroka, Marek Rogala, Michal Adamczyk, Jan Hidders |
A Datalog Engine for Iterative Graph Algorithms on Large Clusters. |
DSDIS |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Georg Gottlob, Giorgio Orsi 0001, Andreas Pieris |
Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jean-François Baget, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter |
Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules. |
Challenge+DC@RuleML |
2015 |
DBLP BibTeX RDF |
|
14 | Fernando Tarin Morales, Fuyuki Ishikawa, Shinichi Honiden |
Abstract rewriting Approach to solve Datalog programs. |
DBPL |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Stefanie Scherzinger, Uta Störl, Meike Klettke |
A Datalog-based protocol for lazy data migration in agile NoSQL Application development. |
DBPL |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Georg Gottlob, Michael Morak, Andreas Pieris |
Recent Advances in Datalog ^\pm. |
Reasoning Web |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov |
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies. |
IJCAI |
2015 |
DBLP BibTeX RDF |
|
14 | Cristhian A. D. Deagustini, Maria Vanina Martinez, Marcelo A. Falappa, Guillermo Ricardo Simari |
On the Influence of Incoherence in Inconsistency-tolerant Semantics for Datalog±. |
JOWO@IJCAI |
2015 |
DBLP BibTeX RDF |
|
14 | Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks 0001 |
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. |
IJCAI |
2015 |
DBLP BibTeX RDF |
|
14 | Benny Kimelfeld |
Extending Datalog Intelligence. |
RR |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Meghyn Bienvenu, Magdalena Ortiz 0001, Mantas Simkus |
Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results. |
AMW |
2015 |
DBLP BibTeX RDF |
|
14 | Molham Aref, Benny Kimelfeld, Emir Pasalic, Nikolaos Vasiloglou |
Extending Datalog with Analytics in LogicBlox. |
AMW |
2015 |
DBLP BibTeX RDF |
|
14 | Mostafa Milani, Leopoldo E. Bertossi |
Tractable Query Answering and Optimization for Extensions of Weakly-Sticky Datalog+-. |
AMW |
2015 |
DBLP BibTeX RDF |
|
14 | Balder ten Cate, Benny Kimelfeld, Dan Olteanu |
PPDL: Probabilistic Programming with Datalog. |
AMW |
2015 |
DBLP BibTeX RDF |
|
14 | Yujiao Zhou |
PAGOdA: pay-as-you-go ontology query answering using a datalog reasoner. |
|
2015 |
RDF |
|
14 | |
Datalog. |
Encyclopedia of Social Network Analysis and Mining |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Jing Lu, Ting Dou |
Provable Dynamic Data Possession by Datalog Rules. |
J. Softw. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Davide Martinenghi |
Determining Relevant Relations for Datalog Queries under Access Limitations is Undecidable. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | André Frochaux, Martin Grohe, Nicole Schweikardt |
Monadic Datalog Containment on Trees. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena |
Declarative Statistical Modeling with Datalog. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks 0001 |
Ontology Module Extraction via Datalog Reasoning. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph |
Query Containment for Highly Expressive Datalog Fragments. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter |
Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. |
ACM Trans. Database Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Lukasiewicz, Maria Vanina Martinez, Livia Predoiu, Gerardo I. Simari |
Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/-. |
URSW (LNCS Vol.) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar |
The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract). |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Filip Mazowiecki, Filip Murlak, Adam Witkowski |
Monadic Datalog and Regular Tree Pattern Queries. |
MFCS (1) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks 0001, Dan Olteanu |
Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems. |
AAAI |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Xin Zhang 0035, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang |
On abstraction refinement for program analyses in Datalog. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Marco Calautti, Cristian Molinaro, Chiara Pulice, Irina Trubitsyna |
Termination Criteria for Datalog with Function Symbols. |
SEBD |
2014 |
DBLP BibTeX RDF |
|
14 | Arthur Ball, Pierre Bourreau, Émeric Kien, Sylvain Salvati |
Building PMCFG Parsers as Datalog Program Transformations. |
LACL |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Serge Abiteboul, Daniel Deutch, Victor Vianu |
Deduction with Contradictions in Datalog. |
ICDT |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Deutch, Tova Milo, Sudeepa Roy, Val Tannen |
Circuits for Datalog Provenance. |
ICDT |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Nadime Francis, Luc Segoufin, Cristina Sirangelo |
Datalog Rewritings of Regular Path Queries using Views. |
ICDT |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris |
Datalog+/-: Questions and Answers. |
KR |
2014 |
DBLP BibTeX RDF |
|
14 | Harold Boley, Rolf Grütter, Gen Zou, Tara Athan, Sophia Etzold |
A Datalog + Plus RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research. |
RuleML |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Gen Zou |
GeospatialRules: A Datalog+ RuleML Rulebase for Geospatial Reasoning. |
Challenge+DC@RuleML |
2014 |
DBLP BibTeX RDF |
|
14 | Mohammad Sadnan Al Manir, Christopher J. O. Baker |
Offshore Holdings Analytics Using Datalog+ RuleML Rules. |
Challenge+DC@RuleML |
2014 |
DBLP BibTeX RDF |
|
14 | Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau |
Datalog Rewriting Techniques for Non-Horn Ontologies. |
Description Logics |
2014 |
DBLP BibTeX RDF |
|
14 | Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks 0001 |
Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner. |
Description Logics |
2014 |
DBLP BibTeX RDF |
|
14 | Maria Vanina Martinez, Cristhian Ariel David Deagustini, Marcelo A. Falappa, Guillermo Ricardo Simari |
Inconsistency-Tolerant Reasoning in Datalog ^± ± Ontologies via an Argumentative Semantics. |
IBERAMIA |
2014 |
DBLP DOI BibTeX RDF |
|
14 | André Frochaux, Martin Grohe, Nicole Schweikardt |
Monadic Datalog Containment on Trees. |
AMW |
2014 |
DBLP BibTeX RDF |
|
14 | Todd J. Green, Shan Shan Huang, Boon Thau Loo, Wenchao Zhou |
Datalog and Recursive Query Processing. |
Found. Trends Databases |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Georg Gottlob, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari |
Query answering under probabilistic uncertainty in Datalog+ / - ontologies. |
Ann. Math. Artif. Intell. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Manuel Bodirsky, Víctor Dalmau |
Datalog and constraint satisfaction with infinite templates. |
J. Comput. Syst. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter |
Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP |
CoRR |
2013 |
DBLP BibTeX RDF |
|
14 | André Frochaux, Nicole Schweikardt |
A note on monadic datalog on unranked trees. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
14 | Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks 0001 |
Computing Datalog Rewritings beyond Horn Ontologies |
CoRR |
2013 |
DBLP BibTeX RDF |
|
14 | Benoit Desouter, Tom Schrijvers |
Integrating Datalog and Constraint Solving. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
14 | Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, Gerardo I. Simari |
Top-k Query Answering in Datalog+/- Ontologies under Subjective Reports (Technical Report). |
CoRR |
2013 |
DBLP BibTeX RDF |
|
14 | Alexander Shkapsky, Kai Zeng 0002, Carlo Zaniolo |
Graph Queries in a Next-Generation Datalog System. (PDF / PS) |
Proc. VLDB Endow. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Jiwon Seo 0002, Jongsoo Park, Jaeho Shin 0001, Monica S. Lam |
Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis. (PDF / PS) |
Proc. VLDB Endow. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Afef Bahri, Rafik Bouaziz, Faïez Gargouri |
Datalog-based framework for efficient query answering over fuzzy ontologies. |
Int. J. Metadata Semant. Ontologies |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Mirjana Mazuran, Edoardo Serra, Carlo Zaniolo |
A declarative extension of horn clauses, and its significance for datalog and its applications. |
Theory Pract. Log. Program. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Andreas Blass, Yuri Gurevich |
Abstract Hilbertian deductive systems, infon logic, and Datalog. |
Inf. Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Mirjana Mazuran, Edoardo Serra, Carlo Zaniolo |
Extending the power of datalog recursion. |
VLDB J. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Jiwon Seo 0002, Stephen Guo, Monica S. Lam |
SociaLite: Datalog extensions for efficient social network analysis. |
ICDE |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Lukasiewicz, Livia Predoiu |
Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/-. |
URSW |
2013 |
DBLP BibTeX RDF |
|
14 | Songxin Wang, Jeff Z. Pan, Yuting Zhao, Wei Li, Songqiao Han, Dongmei Han |
Belief Base Revision for Datalog+/- Ontologies. |
JIST |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marciuska |
Group Preferences for Query Answering in Datalog+/- Ontologies. |
SUM |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari |
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/-. |
OTM Conferences |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari |
Preference-Based Query Answering in Probabilistic Datalog+/- Ontologies. |
OTM Conferences |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Carlos Alberto Martinez-Angeles, Inês de Castro Dutra, Vítor Santos Costa, Jorge Buenabad-Chávez |
A Datalog Engine for GPUs. |
KDPD |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Nik Sultana, Moritz Y. Becker, Markulf Kohlweiss |
Selective Disclosure in Datalog-Based Trust Management. |
STM |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ismail Akbari, Bo Yan, Junyan Zhang, Harold Boley |
Visualizing SWRL Rules: From Unary/Binary Datalog and PSOA RuleML to Graphviz and Grailog. |
CSWS |
2013 |
DBLP BibTeX RDF |
|
14 | André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob |
Well-founded semantics for extended datalog and ontological reasoning. |
PODS |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter |
Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP. |
PODS |
2013 |
DBLP DOI BibTeX RDF |
|