Filter your results
- 32
- 4
- 4
- 3
- 1
- 1
- 32
- 4
- 4
- 3
- 1
- 1
- 1
- 4
- 12
- 5
- 6
- 4
- 26
- 4
- 1
- 1
- 23
- 9
- 21
- 10
- 7
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 32
- 22
- 22
- 13
- 5
- 4
- 4
- 4
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 23
- 9
|
|
sorted by
|
|
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description LogicsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States
Conference papers
lirmm-01367863v1
|
||
Tractable Queries for Lightweight Description LogicsInternational Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, China. pp.768-774
Conference papers
hal-00947533v1
|
|||
Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNPACM Transactions on Database Systems, 2014, 39 (4), pp.33. ⟨10.1145/2661643⟩
Journal articles
hal-01117583v1
|
|||
|
Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases (Extended Abstract)Description Logics, Jun 2015, Athens, Greece
Conference papers
hal-01277080v1
|
||
|
Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge BasesAAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, United States
Conference papers
hal-01277086v1
|
||
|
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth QueriesPODS: Principles of Database Systems, Jun 2017, Chicago, United States
Conference papers
hal-01632638v1
|
||
|
Combining Existential Rules and Transitivity: Next StepsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2720-2726
Conference papers
hal-01171846v1
|
||
|
Ontology-Mediated Query Answering: Harnessing Knowledge to Get More From DataIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States
Conference papers
lirmm-01367866v1
|
||
Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data AccessInternational Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, China. pp.775-782
Conference papers
hal-00947531v1
|
|||
Nested Regular Path Queries in Description LogicsFourteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR), Jul 2014, Vienna, Austria
Conference papers
hal-01117593v1
|
|||
|
Answering Conjunctive Regular Path Queries over Guarded Existential RulesIJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
Conference papers
lirmm-01632224v1
|
||
Datalog revisited for reasoning in linked dataGiovambattista Ianni; Domenico Lembo; Leopoldo Bertossi; Wolfgang Faber; Birte Glimm; Georg Gottlob; Steffen Staab. Reasoning Web. Semantic Interoperability on the Web. Reasoning Web 2017, LNCS (10370), Springer Verlag, pp.121-166, 2017, Reasoning Web International Summer School, 978-3-319-61032-0. ⟨10.1007/978-3-319-61033-7_5⟩
Book sections
hal-01661141v1
|
|||
|
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity AnalysisJELIA: Logics in Artificial Intelligence, Nov 2016, Larnaca, Cyprus. pp.64-80, ⟨10.1007/978-3-319-48758-8_5⟩
Conference papers
lirmm-01412864v1
|
||
|
Extracting Bounded-level Modules from Deductive RDF TriplestoresAAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence (AAAI). Austin, USA., Jan 2015, Austin, TX, United States
Conference papers
lirmm-01086951v1
|
||
Conjunctive Regular Path Queries in Lightweight Description LogicsInternational Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, China. pp.761-767
Conference papers
hal-00947534v1
|
|||
Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like QueriesTwenty-Seventh International Workshop on Description Logics, Jul 2014, Vienna, Austria
Conference papers
hal-01117608v1
|
|||
|
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit ComplexityJournal of the ACM (JACM), 2018, 65 (5), pp.1-51. ⟨10.1145/3191832⟩
Journal articles
lirmm-01892661v1
|
||
|
Query Rewriting for Existential Rules with Compiled PreorderIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.3006-3112
Conference papers
lirmm-01164851v1
|
||
|
Query-Driven Repairing of Inconsistent DL-Lite Knowledge BasesIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States
Conference papers
lirmm-01367864v1
|
||
|
Query and Predicate Emptiness in Ontology-Based Data AccessJournal of Artificial Intelligence Research, 2016, 56, pp.1-59. ⟨10.1613/jair.4866⟩
Journal articles
lirmm-01367867v1
|
||
|
Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic NegationNMR: Non-Monotonic Reasoning, Jul 2014, Vienna, Austria
Conference papers
lirmm-01097136v1
|
||
|
Extending Acyclicity Notions for Existential RulesECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.39-44, ⟨10.3233/978-1-61499-419-0-39⟩
Conference papers
hal-01092757v1
|
||
|
On Bounded Positive Existential RulesDL: Description Logics, Apr 2016, Cape Town, South Africa. CEUR Workshop Proceedings
Conference papers
lirmm-01375091v1
|
||
|
Inconsistency-Tolerant Querying of Description Logic Knowledge BasesRW 2016 - 12th Reasonning Web Summer School, Sep 2016, Aberdeen, United Kingdom. pp.156-202, ⟨10.1007/978-3-319-49493-7_5⟩
Conference papers
hal-01633000v1
|
||
|
Ontology-Mediated Query Answering for Key-Value StoresIJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
Conference papers
lirmm-01632090v1
|
||
Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics (Extended Abstract)International Workshop on Description Logics, Jul 2014, Vienna, Austria
Conference papers
hal-01052452v1
|
|||
First-Order Rewritability of Atomic Queries in Horn Description LogicsInternational Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, China. pp.754-760
Conference papers
hal-00947535v1
|
|||
|
Ontology-Mediated Queries for NOSQL DatabasesDL: Description Logics, Apr 2016, Cape Town, South Africa. pp.1051-1057
Conference papers
lirmm-01375093v1
|
||
|
Ontology-Mediated Queries for NOSQL DatabasesAAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, United States. pp.1051-1057
Conference papers
lirmm-01242913v1
|
||
|
Query-based Comparison of Mappings in Ontology-based Data AccessKR: Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa
Conference papers
lirmm-01367812v1
|
- 1
- 2