Yue Ma

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 19

Top Topics

Extended Abstract

Prime Implicates

Propositional Logic

Top Venues

Description Logics

Int. J. Approx. Reason.

Publications

Saïd Jabbour, Yue Ma, Badran Raddaoui
A Principle-based Framework for Repair Selection in Inconsistent Ontologies (Extended Abstract). Description Logics (2024)
Saïd Jabbour, Yue Ma, Badran Raddaoui
Towards a Principle-based Framework for Repair Selection in Inconsistent Knowledge Bases. AAMAS (2024)
Saïd Jabbour, Yue Ma, Badran Raddaoui
Towards Novel Inference Relations based on Logical Argumentation. AI³@AI*IA (2023)
Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit
Efficient Computation of General Modules for ALC Ontologies (Extended Abstract). Description Logics (2023)
Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit
Efficient Computation of General Modules for ALC Ontologies. IJCAI (2023)
Hui Yang, Yue Ma, Nicole Bidoit
Efficient Extraction of EL-Ontology Deductive Modules. AAAI (2023)
Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit
Efficient Computation of General Modules for ALC Ontologies (Extended Version). CoRR (2023)
Saïd Jabbour, Yue Ma, Badran Raddaoui
A Framework for Reasoning About Uncertainty in Ontologies. IEEE Intell. Syst. 37 (6) (2022)
Saïd Jabbour, Yue Ma, Badran Raddaoui
Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies. Description Logics (2019)
Saïd Jabbour, Yue Ma, Badran Raddaoui
Handling Disagreement in Ontologies-Based Reasoning via Argumentation. WISE (2019)
Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
^r -Terminologies. JELIA (2019)
Jieying Chen, Yue Ma, Dirk Walther
Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving. Description Logics (2018)
Franz Baader, Brigitte Grau, Yue Ma
HQA18 Workshop Chairs' Welcome & Organization. WWW (Companion Volume) (2018)
Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
Computing Minimal Projection Modules for Conjunctive Queries. Description Logics (2018)
Amel Bouzeghoub, Saïd Jabbour, Yue Ma, Badran Raddaoui
Handling conflicts in uncertain ontologies using deductive argumentation. WI (2017)
Xiaowang Zhang, Kewen Wang, Zhe Wang, Yue Ma, Guilin Qi, Zhiyong Feng
A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite. Int. J. Approx. Reason. 89 (2017)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais
Quantifying conflicts in propositional logic through prime implicates. Int. J. Approx. Reason. 89 (2017)
Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
Zooming in on Ontologies: Minimal Modules and Best Excerpts. ISWC (1) (2017)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
A MIS Partition Based Framework for Measuring Inconsistency. KR (2016)
Xiaowang Zhang, Kewen Wang, Zhe Wang, Yue Ma, Guilin Qi
A Distance-Based Paraconsistent Semantics for DL-Lite. KSEM (2015)
Alina Petrova, Yue Ma, George Tsatsaronis, Maria Kissa, Felix Distel, Franz Baader, Michael Schroeder
Formalizing biomedical concepts from textual definitions. J. Biomed. Semant. 6 (2015)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing. AAMAS (2015)
Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
Towards Extracting Ontology Excerpts. KSEM (2015)
Saïd Jabbour, Yue Ma, Badran Raddaoui
Inconsistency measurement thanks to mus decomposition. AAMAS (2014)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
On the measure of conflicts: A MUS-Decomposition Based Framework. CoRR (2014)
Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
Evaluation of Extraction Techniques for Ontology Excerpts. Description Logics (2014)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais
Prime Implicates Based Inconsistency Characterization. ECAI (2014)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais
On the Characterization of Inconsistency: A Prime Implicates Based Framework. ICTAI (2014)
Xiaowang Zhang, Kewen Wang, Zhe Wang, Yue Ma, Guilin Qi
A Distance-based Paraconsistent Semantics in DL-Lite CoRR (2013)
Felix Distel, Yue Ma
A Hybrid Approach for Learning SNOMED CT Definitions from Text. Description Logics (2013)
Yue Ma, François Lévy, Adeline Nazarenko
Semantic Annotation in Specific Domains with rich Ontologies (Annotation sémantique pour des domaines spécialisés et des ontologies riches) [in French]. TALN (1) (2013)
Frederick Maier, Yue Ma, Pascal Hitzler
Paraconsistent OWL and related logics. Semantic Web 4 (4) (2013)
George Tsatsaronis, Alina Petrova, Maria Kissa, Yue Ma, Felix Distel, Franz Baader, Michael Schroeder
Learning Formal Definitions for Biomedical Concepts. OWLED (2013)
Yue Ma, Felix Distel
Learning Formal Definitions for Snomed CT from Text. AIME (2013)
Yue Ma, Felix Distel
Concept adjustment for description logics. K-CAP (2013)
Yue Ma, Guilin Qi, Pascal Hitzler
Computing inconsistency measure based on paraconsistent semantics. J. Log. Comput. 21 (6) (2011)
Yue Ma, Adeline Nazarenko, Laurent Audibert
Formal Description of Resources for Ontology-based Semantic Annotation. LREC (2010)
Yue Ma, Pascal Hitzler
Distance-based Measures of Inconsistency and Incoherency for Description Logics. Description Logics (2010)
Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin
Computational Complexity and Anytime Algorithm for Inconsistency Measurement. Int. J. Softw. Informatics 4 (1) (2010)
Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers. KR (2010)
Yue Ma, Laurent Audibert
Détection des contradictions dans les annotations sémantiques. TALN (Articles courts) (2009)
Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin
An Anytime Algorithm for Computing Inconsistency Measurement. KSEM (2009)
Yue Ma, Laurent Audibert, Adeline Nazarenko
Ontologies étendues pour l'annotation sémantique. Actes d'IC (2009)
Xiaowang Zhang, Guilin Qi, Yue Ma, Zuoquan Lin
Quasi-Classical Semantics for Expressive Description Logics. Description Logics (2009)
Yue Ma, Pascal Hitzler
Paraconsistent Reasoning for OWL 2. RR (2009)
Yue Ma, Pascal Hitzler, Zuoquan Lin
Paraconsistent Reasoning for Expressive and Tractable Description Logics. Description Logics (2008)
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics. ECSQARU (2007)
Yue Ma, Pascal Hitzler, Zuoquan Lin
Algorithms for Paraconsistent Reasoning with OWL. ESWC (2007)
Yue Ma, Pascal Hitzler, Zuoquan Lin
Paraconsistent Resolution for Four-valued Description Logics. Description Logics (2007)
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. Description Logics (2007)
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. ECSQARU (2007)
Zhangang Lin, Yue Ma, Zuoquan Lin
A Fault-Tolerant Default Logic. JELIA (2006)
Yue Ma, Zuoquan Lin, Zhangang Lin
Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach. EDBT Workshops (2006)
Anbu Yue, Yue Ma, Zuoquan Lin
Four-Valued Semantics for Default Logic. Canadian Conference on AI (2006)