Search results for "datalog"

Hits ?▲	Authors	Title	Venue	Year	Link
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