Four-Valued Semantics for Default Logic. - Anbu Yue; Yue Ma 009; Zuoquan Lin (Canadian AI, 2006)

Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach. - Yue Ma 009; Zuoquan Lin; Zhangang Lin (EDBT Workshops, 2006)

A Fault-Tolerant Default Logic. - Zhangang Lin; Yue Ma 009; Zuoquan Lin (JELIA, 2006)

Paraconsistent Resolution for Four-valued Description Logics. - Yue Ma 009; Pascal Hitzler; Zuoquan Lin (Description Logics, 2007)

Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. - Yue Ma 009; Guilin Qi; Pascal Hitzler; Zuoquan Lin (Description Logics, 2007)

An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics. - Yue Ma 009; Guilin Qi; Pascal Hitzler; Zuoquan Lin (ECSQARU, 2007)

Algorithms for Paraconsistent Reasoning with OWL. - Yue Ma 009; Pascal Hitzler; Zuoquan Lin (ESWC, 2007)

Paraconsistent Reasoning for Expressive and Tractable Description Logics. - Yue Ma 009; Pascal Hitzler; Zuoquan Lin (Description Logics, 2008)

Quasi-Classical Semantics for Expressive Description Logics. - Xiaowang Zhang; Guilin Qi; Yue Ma 009; Zuoquan Lin (Description Logics, 2009)

Ontologies étendues pour l'annotation sémantique. - Yue Ma 009; Laurent Audibert; Adeline Nazarenko (Actes d'IC, 2009)

An Anytime Algorithm for Computing Inconsistency Measurement. - Yue Ma 009; Guilin Qi; Guohui Xiao 001; Pascal Hitzler; Zuoquan Lin (KSEM, 2009)

Paraconsistent Reasoning for OWL 2. - Yue Ma 009; Pascal Hitzler (RR, 2009)

Détection des contradictions dans les annotations sémantiques. - Yue Ma 009; Laurent Audibert (TALN (Articles courts), 2009)

Measuring Inconsistency in DL-Lite Ontologies. - Liping Zhou; Houkuan Huang; Guilin Qi; Yue Ma 009; Zhisheng Huang; Youli Qu (Web Intelligence, 2009)

Distance-based Measures of Inconsistency and Incoherency for Description Logics. - Yue Ma 009; Pascal Hitzler (Description Logics, 2010)

Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers. - Guohui Xiao 001; Zuoquan Lin; Yue Ma 009; Guilin Qi (KR, 2010)

Formal Description of Resources for Ontology-based Semantic Annotation. - Yue Ma 009; Adeline Nazarenko; Laurent Audibert (LREC, 2010)

Computational Complexity and Anytime Algorithm for Inconsistency Measurement. - Yue Ma 009; Guilin Qi; Guohui Xiao 001; Pascal Hitzler; Zuoquan Lin (Int. J. Softw. Informatics, 2010)

Computing inconsistency measure based on paraconsistent semantics. - Yue Ma 009; Guilin Qi; Pascal Hitzler (J. Log. Comput., 2011)

Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets. - Guohui Xiao 001; Yue Ma 009 (ECAI, 2012)

Paraconsistent query answering over DL-Lite ontologies. - Liping Zhou; Houkuan Huang; Guilin Qi; Yue Ma 009; Zhisheng Huang; Youli Qu (Web Intell. Agent Syst., 2012)

Learning Formal Definitions for Snomed CT from Text. - Yue Ma 009; Felix Distel (AIME, 2013)

A Hybrid Approach for Learning SNOMED CT Definitions from Text. - Felix Distel; Yue Ma 009 (Description Logics, 2013)

Concept adjustment for description logics. - Yue Ma 009; Felix Distel (K-CAP, 2013)

Learning Formal Definitions for Biomedical Concepts. - George Tsatsaronis 001; Alina Petrova; Maria Kissa; Yue Ma 009; Felix Distel; Franz Baader; Michael Schroeder 001 (OWLED, 2013)

Semantic Annotation in Specific Domains with rich Ontologies (Annotation sémantique pour des domaines spécialisés et des ontologies riches) [in French]. - Yue Ma 009; François Lévy; Adeline Nazarenko (TALN (1), 2013)

Paraconsistent OWL and related logics. - Frederick Maier; Yue Ma 009; Pascal Hitzler (Semantic Web, 2013)

Semantically Assisted XBRL-Taxonomy Alignment Across Languages. - Susan Marie Thomas; Xichuan Wu; Yue Ma 009; Seán O'Riain (Towards the Multilingual Semantic Web, 2014)

Inconsistency measurement thanks to mus decomposition. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (AAMAS, 2014)

Evaluation of Extraction Techniques for Ontology Excerpts. - Jieying Chen 001; Michel Ludwig; Yue Ma 009; Dirk Walther 002 (Description Logics, 2014)

Towards Parallel Repair: An Ontology Decomposition-based Approach. - Yue Ma 009; Rafael Peñaloza (Description Logics, 2014)

Prime Implicates Based Inconsistency Characterization. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui; Lakhdar Sais (ECAI, 2014)

On the Characterization of Inconsistency: A Prime Implicates Based Framework. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui; Lakhdar Sais (ICTAI, 2014)

On the measure of conflicts: A MUS-Decomposition Based Framework. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui; Lakhdar Sais; Yakoub Salhi (CoRR, 2014)

On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui; Lakhdar Sais; Yakoub Salhi (AAMAS, 2015)

Towards Extracting Ontology Excerpts. - Jieying Chen 001; Michel Ludwig; Yue Ma 009; Dirk Walther 002 (KSEM, 2015)

A Distance-Based Paraconsistent Semantics for DL-Lite. - Xiaowang Zhang; Kewen Wang 001; Zhe Wang 001; Yue Ma 009; Guilin Qi (KSEM, 2015)

Formalizing biomedical concepts from textual definitions. - Alina Petrova; Yue Ma 009; George Tsatsaronis 001; Maria Kissa; Felix Distel; Franz Baader; Michael Schroeder 001 (J. Biomed. Semant., 2015)

Avionics Maintenance Ontology Building for Failure Diagnosis Support. - Luis Palacios; Gaëlle Lortal; Claire Laudy; Christian Sannino; Ludovic Simon; Giuseppe Fusco; Yue Ma 009; Chantal Reynaud (KEOD, 2016)

A MIS Partition Based Framework for Measuring Inconsistency. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui; Lakhdar Sais; Yakoub Salhi (KR, 2016)

Data Driven Concept Refinement to Support Avionics Maintenance. - Luis Palacios Medinacelli; Yue Ma 009; Gaëlle Lortal; Claire Laudy; Chantal Reynaud (SML@IJCAI, 2017)

Zooming in on Ontologies: Minimal Modules and Best Excerpts. - Jieying Chen 001; Michel Ludwig; Yue Ma 009; Dirk Walther 002 (ISWC (1), 2017)

Handling conflicts in uncertain ontologies using deductive argumentation. - Amel Bouzeghoub; Saïd Jabbour; Yue Ma 009; Badran Raddaoui (WI, 2017)

Quantifying conflicts in propositional logic through prime implicates. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui; Lakhdar Sais (Int. J. Approx. Reason., 2017)

A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite. - Xiaowang Zhang; Kewen Wang 001; Zhe Wang 001; Yue Ma 009; Guilin Qi; Zhiyong Feng 002 (Int. J. Approx. Reason., 2017)

Computing Minimal Projection Modules for Conjunctive Queries. - Jieying Chen 001; Michel Ludwig; Yue Ma 009; Dirk Walther 002 (Description Logics, 2018)

Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving. - Jieying Chen 001; Yue Ma 009; Dirk Walther 002 (Description Logics, 2018)

HQA18 Workshop Chairs' Welcome & Organization. - Franz Baader; Brigitte Grau; Yue Ma 009 (WWW (Companion Volume), 2018)

Verification of the Expected Answer Type for Biomedical Question Answering. - Sanjay Kamath; Brigitte Grau; Yue Ma 009 (WWW (Companion Volume), 2018)

Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (Description Logics, 2019)

Towards Situation Discovery for Clustering Instances. - Luis Palacios; Yue Ma 009; Chantal Reynaud; Gaëlle Lortal (Description Logics, 2019)

Computing Minimal Projection Modules for ELH^r -Terminologies. - Jieying Chen 001; Michel Ludwig; Yue Ma 009; Dirk Walther 002 (JELIA, 2019)

Knowledge Based Situation Discovery for Avionics Maintenance. - Luis Palacios Medinacelli; Yue Ma 009; Chantal Reynaud; Gaëlle Lortal (K-CAP, 2019)

How to Pre-train Your Model? Comparison of Different Pre-training Models for Biomedical Question Answering. - Sanjay Kamath; Brigitte Grau; Yue Ma 009 (PKDD/ECML Workshops (2), 2019)

Handling Disagreement in Ontologies-Based Reasoning via Argumentation. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (WISE, 2019)

Predicting and Integrating Expected Answer Types into a Simple Recurrent Neural Network Model for Answer Sentence Selection. - Sanjay Kamath; Brigitte Grau; Yue Ma 009 (Computación y Sistemas, 2019)

Analysis of emotional characteristics of Weibo "tree hole" users with different suicide risk. - Tianyu He; Yuyu Zheng; Jing Bai; Pan Chen; Yue Ma 009; Guanghui Fu; Shengxin Hu; Songhe Li; Zhisheng Huang; Qian Liu; Bing Xiang Yang (ISAIMS, 2021)

Attention-based full slice brain CT image diagnosis with explanations. - Guanghui Fu; Jianqiang Li 002; Ruiqian Wang; Yue Ma 009; Yueda Chen (Neurocomputing, 2021)

Hypergraph-Based Inference Rules for Computing EL+-Ontology Justifications. - Hui Yang; Yue Ma 009; Nicole Bidoit (IJCAR, 2022)

Union and Intersection of All Justifications. - Jieying Chen 001; Yue Ma 009; Rafael Peñaloza; Hui Yang (ESWC, 2022)

A Framework for Reasoning About Uncertainty in Ontologies. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (IEEE Intell. Syst., 2022)

Efficient Extraction of EL-Ontology Deductive Modules. - Hui Yang; Yue Ma 009; Nicole Bidoit (AAAI, 2023)

Towards Novel Inference Relations based on Logical Argumentation. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (AI³@AI*IA, 2023)

Efficient Computation of General Modules for ALC Ontologies (Extended Abstract). - Hui Yang; Patrick Koopmann; Yue Ma 009; Nicole Bidoit (Description Logics, 2023)

Efficient Computation of General Modules for ALC Ontologies. - Hui Yang; Patrick Koopmann; Yue Ma 009; Nicole Bidoit (IJCAI, 2023)

Efficient Computation of General Modules for ALC Ontologies (Extended Version). - Hui Yang; Patrick Koopmann; Yue Ma 009; Nicole Bidoit (CoRR, 2023)

Towards a Principle-based Framework for Repair Selection in Inconsistent Knowledge Bases. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (AAMAS, 2024)

A Principle-based Framework for Repair Selection in Inconsistent Ontologies (Extended Abstract). - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (Description Logics, 2024)

Explainable Action-Recognition Based Approach for Unsupervised Video Anomaly Detection. - Hui Yang; Mostepha Khouadjia; Nacéra Seghouani; Yue Ma 009; Serge Delmas (ISVC (1), 2024)

A Hybrid Self-Correcting Approach for Embedding Ontology-based Knowledge Graphs. - Elisa Mariani; Nacéra Seghouani; Yue Ma 009 (SAC, 2025)