Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

5 résultats
Page :
triés par
Image document

Computing Minimal Projection Modules for ELHr -Terminologies

 Jieying Chen , Michel Ludwig , Yue Ma , Dirk Walther
European Conference on Logics in Artificial Intelligence, May 2019, Rende, Italy. pp.355-370, ⟨10.1007/978-3-030-19570-0_23⟩
Communication dans un congrès hal-02930238v1
Image document

Knowledge Extraction from Description Logic Terminologies

 Jieying Chen
Information Retrieval [cs.IR]. Université Paris-Sud, 2018. English. ⟨NNT : ⟩
Thèse tel-04471349v1

Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving

 Jieying Chen , Yue Ma , Dirk Walther
31st International Workshop on Description Logics, Oct 2017, Tempe, Arizona, United States
Communication dans un congrès hal-04423048v1

Computing Minimal Projection Modules for Conjunctive Queries

 Jieying Chen , Michel Ludwig , Yue Ma , Dirk Walther
31st International Workshop on Description Logics, Oct 2018, Tempe, Arizona, United States
Communication dans un congrès hal-04423045v1
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
Communication dans un congrès hal-01712802v1
Page :