, Combining existential rules and description logics, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, pp.2691-2697, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01190601
, Query answering with transitive and linear-ordered data, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, pp.9-15, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01413881
, Foundations of Databases, 1995.
, Terminological cycles in a description logic with existential restrictions, IJCAI-03 Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, pp.325-330, 2003.
, Improving the forward chaining algorithm for conceptual graphs rules, Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference, pp.407-414, 2004.
DOI : 10.1007/11787181_8
URL : https://hal.archives-ouvertes.fr/hal-00918126
, A general modifier-based framework for inconsistencytolerant query answering, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, pp.513-516, 2016.
, Inconsistency-tolerant query answering: Rationality BIBLIOGRAPHY properties and computational complexity analysis Pushing the EL envelope, JELIA-16, Proceedings of the Nineteenth European Conference On Logics In Artificial Intelligence IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, pp.364-369, 2005.
, Combining existential rules and transitivity: Next steps, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, pp.2720-2726, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01171846
, The Description Logic Handbook: Theory, Implementation, and Applications, 2003.
DOI : 10.1017/CBO9780511711787
, Datalog+, ruleml and OWL 2: Formats and translations for existential rules, Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based Recommender Systems for the Web of Data, the Special Industry Track and the RuleML 2015 Doctoral Consortium hosted by the 9th International Web Rule Symposium, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01172069
, Extending acyclicity notions for existential rules, ECAI 2014 -21st European Conference on Artificial Intelligence Czech Republic -Including Prestigious Applications of Intelligent Systems, pp.39-44, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01092757
, Revisiting chase termination for existential rules and their extension to nonmonotonic negation
URL : https://hal.archives-ouvertes.fr/lirmm-01097136
, Ontology-mediated query answering: Harnessing knowledge to get more from data, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, pp.9-15, 2016.
DOI : 10.24963/ijcai.2017/117
URL : https://hal.archives-ouvertes.fr/lirmm-01367866
, On rules with existential variables: Walking the decidability line, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010.
DOI : 10.1016/j.artint.2011.03.002
URL : https://hal.archives-ouvertes.fr/lirmm-00587012
, Graal: A toolkit for query answering with existential rules, Rule Technologies: Foundations, Tools, and Applications -9th International Symposium, RuleML 2015 Proceedings, pp.328-344, 2015.
, Extending decidable cases for rules with existential variables, IJCAI Proceedings of the 21st International Joint Conference on Artificial Intelligence, pp.677-682, 2009.
DOI : 10.1016/j.artint.2011.03.002
URL : https://hal.archives-ouvertes.fr/lirmm-00410130
, On rules with existential variables: Walking the decidability line, Artificial Intelligence, vol.175, issue.9-10, pp.9-101620, 2011.
DOI : 10.1016/j.artint.2011.03.002
URL : https://hal.archives-ouvertes.fr/lirmm-00587012
, Walking the complexity lines for generalized guarded existential rules, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp.712-717, 2011.
URL : https://hal.archives-ouvertes.fr/lirmm-00618081
, Worst-case optimal query answering for greedy sets of existential rules and their subclasses. CoRR, abs/1412 Ontology-mediated query answering with data-tractable description logics, Reasoning Web. Web Logic Rules -11th International Summer School 2015 Tutorial Lectures, pp.218-307, 2014.
URL : https://hal.archives-ouvertes.fr/lirmm-01097137
, The core of a countably categorical structure, STACS 2005, 22nd Annual Symposium on Theoretical Aspects of Computer Science Proceedings, pp.110-120, 2005.
DOI : 10.1007/978-3-540-31856-9_9
URL : http://arxiv.org/pdf/cs/0612069v1.pdf
, On the complexity of evaluating regular path queries over linear existential rules [BV81] Catriel Beeri and Moshe Y. Vardi. The implication problem for data dependencies, Web Reasoning and Rule Systems -10th International Conference Proceedings Automata, Languages and Programming, 8th Colloquium Proceedings, pp.1-17, 1981.
DOI : 10.1007/978-3-319-45276-0_1
, Formal Systems for Tuple and Equality Generating Dependencies, Logic Programming, 24th International Conference Proceedings, pp.76-98, 1984.
DOI : 10.1137/0213006
, Dl-lite: Tractable description logics for ontologies, Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, pp.602-607, 2005.
, Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family, Journal of Automated Reasoning, vol.104, issue.1,2, pp.385-429, 2007.
DOI : 10.1007/s10817-007-9078-x
URL : http://www.dis.uniroma1.it/~degiacom/papers/2007/calv-etal-JAR-2007.pdf
, Taming the infinite chase: Query answering under expressive relational constraints, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, pp.70-80, 2008.
, Taming the infinite chase: Query answering under expressive relational constraints, J. Artif. Intell. Res. (JAIR), vol.48, pp.115-174, 2013.
, A general datalog-based framework for tractable query answering over ontologies, Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, pp.77-86, 2009.
, Datalog extensions for tractable query answering over ontologies. Semantic Web Information Management: a Model-Based Perspective, pp.249-279, 2010.
, Datalog+/-: A family of logical knowledge representation and query languages for new applications, Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, pp.11-14, 2010.
, A general datalog-based framework for tractable query answering over ontologies, J. Web Sem, vol.14, pp.57-83, 2012.
, Advanced processing for ontological queries, PVLDB, vol.3, issue.1, pp.554-565, 2010.
, Query answering under non-guarded rules in datalog+, Web Reasoning and Rule Systems -Fourth International Conference. Proceedings, pp.1-17, 2010.
, New expressive languages for ontological query answering, Proceedings of the Twenty- Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, 2011.
, Embedded implicational dependencies and their inference problem, Proceedings of the 13th Annual ACM Symposium on Theory of Computing, pp.342-354, 1981.
, Graph-based Knowledge Representation -Computational Foundations of Conceptual Graphs. Advanced Information and Knowledge Processing, 2009.
URL : https://hal.archives-ouvertes.fr/lirmm-00355336
, The monadic second-order logic of graphs, II: Infinite graphs of bounded width, Mathematical Systems Theory, vol.70, issue.1, pp.187-221, 1989.
DOI : 10.1145/321992.321997
, The implication problem for functional and inclusion dependencies is undecidable, SIAM J. Comput, vol.14, issue.3, pp.671-677, 1985.
, Complexity and expressive power of logic programming, ACM Computing Surveys, vol.33, issue.3, pp.374-425, 2001.
DOI : 10.1145/502807.502810
URL : http://www.kr.tuwien.ac.at/staff/eiter/et-archive/ccc97.ps.gz
, The chase revisited, Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '08, pp.149-158, 2008.
DOI : 10.1145/1376916.1376938
, Query answering in description logics with transitive roles, IJCAI Proceedings of the 21st International Joint Conference on Artificial Intelligence, pp.759-764, 2009.
, Query rewriting for horn-shiq plus rules, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012.
, Data exchange: semantics and query answering, Theoretical Computer Science, vol.336, issue.1, pp.89-124, 2005.
DOI : 10.1016/j.tcs.2004.10.033
URL : https://doi.org/10.1016/j.tcs.2004.10.033
, Acyclicity notions for existential rules and their application to query answering in ontologies, J. Artif. Intell. Res. (JAIR), vol.47, pp.741-808, 2013.
, The price of query rewriting in ontology-based data access, Artificial Intelligence, vol.213, pp.42-59, 2014.
DOI : 10.1016/j.artint.2014.04.004
URL : http://www.dcs.bbk.ac.uk/~michael/AIJ-final.pdf
, Polynomial combined rewritings for existential rules, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014.
, Polynomial rewritings for linear existential rules, Proceedings of the Twenty-Fourth International Joint Conference on Artificial IntelligenceGO13] Gösta Grahne and Adrian Onet. Anatomy of the chase. CoRR, abs/1303, pp.2992-2998, 2013.
, Querying the Guarded Fragment with Transitivity, Automata, Languages, and Programming -40th International Colloquium, ICALP 2013 Proceedings, Part II, pp.287-298, 2013.
DOI : 10.1007/978-3-642-39212-2_27
, Efficient query rewriting in the description logic EL and beyond, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, pp.3034-3040, 2015.
, A description logic with transitive and inverse roles and role hierarchies, Journal of Logic and Computation, vol.9, issue.3, pp.385-410, 1999.
DOI : 10.1093/logcom/9.3.385
URL : http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/1998/Horrocks98g.pdf
, Sound, complete and minimal UCQ-rewriting for existential rules, Semantic Web, vol.3, issue.1, pp.451-475, 2015.
DOI : 10.1007/s13740-012-0017-6
, Combined FO rewritability for conjunctive query answering in dl-lite, Proceedings of the 22nd International Workshop on Description Logics, 2009.
, The combined approach to query answering in dl-lite, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010.
, The combined approach to ontology-based data access, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp.2656-2661, 2011.
, Extending decidable existential rules by joining acyclicity and guardedness, IJCAI 2011 Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp.963-968, 2011.
, Complexities of nominal schemas, Informal Proceedings of the 27th International Workshop on Description Logics, pp.270-273, 2014.
, Kiabora: An analyzer of existential rule bases, Web Reasoning and Rule Systems -7th International Conference, RR 2013 Proceedings, pp.241-246, 2013.
, On bounded positive existential rules, Proceedings of the 29th International Workshop on Description Logics, 2016.
, CARIN: A representation language combining horn rules and description logics, 12th European Conference on Artificial Intelligence Proceedings, pp.323-327, 1996.
, The Combined Approach to OBDA: Taming Role Hierarchies Using Filters, The Semantic Web -ISWC 2013 -12th International Semantic Web Conference Proceedings , Part I, pp.314-330, 2013.
DOI : 10.1007/978-3-642-41335-3_20
, Generalized schema-mappings, Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, PODS '09, pp.13-22, 2009.
DOI : 10.1145/1559795.1559799
, Query Answering for OWL-DL with rules, Web Semantics: Science, Services and Agents on the World Wide Web, vol.3, issue.1, pp.41-60, 2005.
DOI : 10.1016/j.websem.2005.05.001
URL : http://web.comlab.ox.ac.uk/oucl/work/boris.motik/publications/mss05query-journal.pdf
, Ontological Query Answering with Existential Rules, Web Reasoning and Rule Systems -5th International Conference , RR 2011 Proceedings, pp.2-23, 2011.
DOI : 10.1007/3-540-61534-2_16
URL : https://hal.archives-ouvertes.fr/lirmm-00618296
, The chase procedure and its applications in data exchange, Data Exchange, Integration, and Streams, pp.1-37
, Computational complexity, 1994.
, Linking Data to Ontologies, J. Data Semantics, vol.10, pp.133-173, 2008.
DOI : 10.1007/978-3-540-77688-8_5
URL : http://www.dis.uniroma1.it/~degiacom/papers/2008/JODS08.pdf
, Mixing materialization and query rewriting for existential rules, ECAI 2014 -21st European Conference on Artificial Intelligence Czech Republic -Including Prestigious Applications of Intelligent Systems, pp.18-22, 2014.
, Conjunctive Query Answering Under Existential Rules -Decidability, Complexity, and Algorithms
URL : https://hal.archives-ouvertes.fr/tel-00925722
, Existential rule languages with finite chase: Complexity and expressiveness, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, pp.1678-1685, 2015.