Welcome to visit Jieying Chen's HomePage


Email: jieyingc[AT]ifi.uio.no

Address: Room 8468

Gaustadalleen 23 B

0373 Oslo, Norway

Biography

Currently, I am a postdoc at SIRIUS, University of Oslo (Norway). My line manager is Prof. Arild Waaler.

From March 2019 to August 2019, I was a research associate at The University of Manchester (UK) and work on EPSRC IAA Project "Comparison and Abstraction of SNOMED CT Ontologies", mentored by Dr.-Ing. Renate A. Schmidt. Before that, I was a PhD student at Université Paris-Saclay/Université Paris-Sud (France), supervised by Prof. Philippe DAGUE and Dr. Yue MA. In June 2017, I was a visiting doctoral student in the group of Knowledge Representation and Reasoning Group at Vrije Universiteit Amsterdam (Netherlands). From December 2015 to January 2016 and from May 2015 to July 2015, I was a visiting master/doctoral student in the group of Theoretical Computer Science at TU Dresden (Germany).

I got my master degree in the College of Computer Science, Jilin University (China). From October 2013 to March 2014 , I was an exchange student in the master program of computational logic at TU Dresden (Germany) funded by the European programme Erasmus Mundus.


Research Interests

Ontology Modularity, Description Logics, Semantic Web, Knowledge Representation and Reasoning, etc.


Education

09/2015-now Université Paris-Sud, France PhD of Computer Science

09/2012-06/2015 Jilin University, China Master of Computer Technology

10/2013-03/2014 TU Dresden, Germany Computational Logic (as an Exchange Student)

09/2008-06/2012 Jilin University, China Bachelor of Computer Science and Technology

Publications

Conference

  1. Jieying Chen, Michel Ludwig, Yue Ma and Dirk Walther: Computing Minimal Projection Modules of Description Logic Terminologies. In Proceedings of the 16th edition of the European Conference on Logics in Artificial Intelligence (JELIA 2019), vol.11468, pp.355-370. Springer, 2019. [PDF][BibTeX]
  2. Jieying Chen, Michel Ludwig, Dirk Walther: Computing Minimal Subsumption Modules of Ontologies. In Proceedings of the 4th Global Conference on Artificial Intelligence (GCAI 2018), Luxembourg, September 2018. EasyChair, 2018. [PDF][BibTeX]
  3. Jieying Chen, Michel Ludwig, Yue Ma and Dirk Walther: Zooming in on Ontologies: Minimal Modules and Best Excerpts. In Proceedings of the 16th International Semantic Web Conference (ISWC 2017), Part I. pp. 173–189. Springer, 2017. [PDF][BibTeX]
  4. Jieying Chen, Michel Ludwig, Yue Ma, and Dirk Walther: Towards Extracting Ontology Excerpts. In Proceedings of 8th International Conference on Knowledge Science, Engineering and Management (KSEM 2015), 2015, Proceedings. Lecture Notes in Computer Science, vol. 9403, pp. 78–89. Springer, 2015. [PDF][BibTeX]

Workshop

  1. Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther and Yongsheng Gao: Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology. In Proceedings of the 32nd International Workshop on Description Logics (DL 2019), CEUR Workshop Proceedings. CEUR-WS.org, June 2019. [PDF][BibTeX]
  2. Jieying Chen, Yue Ma, and Dirk Walther: Computing Best Ontology Excerpts via Partial Max-SAT Solving. In Proceedings of the 31st International Workshop on Description Logics (DL 2018), CEUR Workshop Proceedings. CEUR-WS.org, October 2018. [PDF][BibTeX]
  3. Jieying Chen, Michel Ludwig, Yue Ma, and Dirk Walther: Computing Minimal Projection Modules for Conjunctive Queries. In Proceedings of the 31st International Workshop on Description Logics (DL 2018), CEUR Workshop Proceedings. CEUR-WS.org, October 2018. [PDF][BibTeX]
  4. Patrick Koopmann and Jieying Chen: Computing ALCH-Subsumption Modules Using Uniform Interpolation. In Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), CEUR Workshop Proceedings. CEUR-WS.org, December 2017. [PDF]
  5. Jieying Chen, Michel Ludwig, Yue Ma, and Dirk Walther: Computing Subsumption Justifications of Ontologies (Extended Abstract). In Proceedings of the 30th International Workshop on Description Logics (DL 2017), CEUR Workshop Proceedings. CEUR-WS.org, July 2017. [PDF]
  6. Jieying Chen, Michel Ludwig, Dirk Walther: On Computing Minimal EL-Subsumption Modules. In Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems, FOIS 2016, 2016. [PDF][BibTeX]
  7. Jieying Chen, Michel Ludwig, Yue Ma, and Dirk Walther: Evaluation of Extraction Techniques for Ontology Excerpts. In Proceedings of the 27th International Workshop on Description Logics (DL 2014), volume 1193 of CEUR Workshop Proceedings, pages 471–482, 2014. [PDF][BibTeX]


Software

SignatureExtention for Snomed CT


Review

IJCAI2016, IJCAR2018, IJCAI2019


Teaching

IOS Project 54h IUT Orsay (Jan. 2017-May 2017)