Search - Archive ouverte HAL Access content directly

Filter your results

6 Results
Image document

Connection-Minimal Abduction in EL via Translation to FOL

Fajar Haifani , Patrick Koopmann , Sophie Tourret , Christoph Weidenbach
35th International Workshop on Description Logics (DL 2022), Aug 2022, Haifa, Israel. ⟨10.1007/978-3-031-10769-6_12⟩
Conference papers hal-03937189v1
Image document

Abduction inELvia Translation to FOL

Fajar Haifani , Patrick Koopmann , Sophie Tourret
SOQE 2021 - 2nd Workshop on Second-Order Quantifier Elimination and Related Topics, Nov 2021, Hanoï (online), Vietnam. pp.46-58
Conference papers hal-03516691v1

Signature-Based Abduction for Expressive Description Logics

Patrick Koopmann , Warren Del-Pinto , Sophie Tourret , Renate Schmidt
17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}, Sep 2020, Rhodes, France. pp.592-602, ⟨10.24963/kr.2020/59⟩
Conference papers hal-03141064v1
Image document

Computing ALCH-Subsumption Modules Using Uniform Interpolation

Patrick Koopmann , Jieying Chen
SOQE 2017 Workshop on Second-Order Quantifier Elimination and Related Topics, Dec 2017, Dresden, Germany
Conference papers hal-01712802v1
Image document

On a Notion of Relevance

Fajar Haifani , Patrick Koopmann , Sophie Tourret , Christoph Weidenbach
Proceedings of the 33rd International Workshop on Description Logics (DL 2020), Sep 2020, Online, Greece
Conference papers hal-03141063v1
Image document

Ontology-mediated query answering over temporal and inconsistent data

Camille Bourgaux , Patrick Koopmann , Anni-Yasmin Turhan
Semantic Web – Interoperability, Usability, Applicability, 2019, ⟨10.3233/SW-180337⟩
Journal articles hal-02111428v1