- 3
- 3
- 1
David Carral
7
Documents
Researcher identifiers
david-carral
-
0000-0001-7287-4709
Presentation
See my personnal webpage here : <https://www-sop.inria.fr/members/David.Carral/>
Voir ma page web personnelle ici : <https://www-sop.inria.fr/members/David.Carral/>
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 1
- 1
- 5
- 2
- 2
- 1
|
An efficient algorithm for reasoning over OWL EL ontologies with nominal schemasJournal of Logic and Computation, 2022, pp.exac032. ⟨10.1093/logcom/exac032⟩
Journal articles
hal-03833721v1
|
|
Materializing Knowledge Bases via Trigger GraphsProceedings of the VLDB Endowment (PVLDB), 2021, 14 (6), pp.943-956. ⟨10.14778/3447689.3447699⟩
Journal articles
lirmm-03344217v1
|
|
Normalisations of Existential Rules: Not so Innocuous!KR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, HaÏfa, Israel. pp.102-111, ⟨10.24963/kr.2022/11⟩
Conference papers
lirmm-03762686v1
|
|
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)IJCAI-ECAI 2022 - 31st International Joint Conference on Artificial Intelligence - 25th European Conference on Artificial Intelligence, Jul 2022, Vienna, Austria. pp.5269-5273, ⟨10.24963/ijcai.2022/733⟩
Conference papers
hal-03801049v1
|
Deciding Hyperproperties Combined with Functional SpecificationsLICS 2022 - 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. pp.1-13/56, ⟨10.1145/3531130.3533369⟩
Conference papers
lirmm-03833578v1
|
|
|
A Journey to the Frontiers of Query RewritabilityPODS 2022 - 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Jun 2022, Philadelphia, United States. pp.359-367, ⟨10.1145/3517804.3524163⟩
Conference papers
hal-03599601v1
|
|
Capturing Homomorphism-Closed Decidable Queries with Existential RulesKR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. pp.141-150, ⟨10.24963/kr.2021/14⟩
Conference papers
lirmm-03345614v1
|