Yue Ma

Orcid: 0000-0002-2805-2473

Affiliations:
  • University Paris Sud, France
  • TU Dresden, Germany (former)


According to our database1, Yue Ma authored at least 68 papers between 2006 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Principle-based Framework for Repair Selection in Inconsistent Ontologies (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

Towards a Principle-based Framework for Repair Selection in Inconsistent Knowledge Bases.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023
Efficient Computation of General Modules for ALC Ontologies (Extended Version).
CoRR, 2023

Efficient Computation of General Modules for ALC Ontologies.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Efficient Computation of General Modules for ALC Ontologies (Extended Abstract).
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Towards Novel Inference Relations based on Logical Argumentation.
Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023

Efficient Extraction of EL-Ontology Deductive Modules.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
A Framework for Reasoning About Uncertainty in Ontologies.
IEEE Intell. Syst., 2022

Union and Intersection of All Justifications.
Proceedings of the Semantic Web - 19th International Conference, 2022

Hypergraph-Based Inference Rules for Computing <i>EL</i><sup>+</sup>-Ontology Justifications.
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021
Attention-based full slice brain CT image diagnosis with explanations.
Neurocomputing, 2021

Analysis of emotional characteristics of Weibo "tree hole" users with different suicide risk.
Proceedings of the ISAIMS 2021: 2nd International Symposium on Artificial Intelligence for Medicine Sciences, Beijing, China, October 29, 2021

2019
Predicting and Integrating Expected Answer Types into a Simple Recurrent Neural Network Model for Answer Sentence Selection.
Computación y Sistemas, 2019

Handling Disagreement in Ontologies-Based Reasoning via Argumentation.
Proceedings of the Web Information Systems Engineering - WISE 2019, 2019

How to Pre-train Your Model? Comparison of Different Pre-training Models for Biomedical Question Answering.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2019

Knowledge Based Situation Discovery for Avionics Maintenance.
Proceedings of the 10th International Conference on Knowledge Capture, 2019

Computing Minimal Projection Modules for <i>ELH</i>^r -Terminologies.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Towards Situation Discovery for Clustering Instances.
Proceedings of the 32nd International Workshop on Description Logics, 2019

Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies.
Proceedings of the 32nd International Workshop on Description Logics, 2019

2018
Verification of the Expected Answer Type for Biomedical Question Answering.
Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

HQA18 Workshop Chairs' Welcome & Organization.
Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Computing Minimal Projection Modules for Conjunctive Queries.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017
A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite.
Int. J. Approx. Reason., 2017

Quantifying conflicts in propositional logic through prime implicates.
Int. J. Approx. Reason., 2017

Handling conflicts in uncertain ontologies using deductive argumentation.
Proceedings of the International Conference on Web Intelligence, 2017

Zooming in on Ontologies: Minimal Modules and Best Excerpts.
Proceedings of the Semantic Web - ISWC 2017, 2017

Data Driven Concept Refinement to Support Avionics Maintenance.
Proceedings of the IJCAI Workshop on Semantic Machine Learning (SML 2017) co-located with 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017

2016
A MIS Partition Based Framework for Measuring Inconsistency.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Avionics Maintenance Ontology Building for Failure Diagnosis Support.
Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016) - Volume 2: KEOD, Porto - Portugal, November 9, 2016

2015
Formalizing biomedical concepts from textual definitions.
J. Biomed. Semant., 2015

A Distance-Based Paraconsistent Semantics for DL-Lite.
Proceedings of the Knowledge Science, Engineering and Management, 2015

Towards Extracting Ontology Excerpts.
Proceedings of the Knowledge Science, Engineering and Management, 2015

On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014
On the measure of conflicts: A MUS-Decomposition Based Framework.
CoRR, 2014

On the Characterization of Inconsistency: A Prime Implicates Based Framework.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Prime Implicates Based Inconsistency Characterization.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Towards Parallel Repair: An Ontology Decomposition-based Approach.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Evaluation of Extraction Techniques for Ontology Excerpts.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Inconsistency measurement thanks to mus decomposition.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Semantically Assisted XBRL-Taxonomy Alignment Across Languages.
Proceedings of the Towards the Multilingual Semantic Web, 2014

2013
Paraconsistent OWL and related logics.
Semantic Web, 2013

Semantic Annotation in Specific Domains with rich Ontologies (Annotation sémantique pour des domaines spécialisés et des ontologies riches) [in French].
Proceedings of the Traitement Automatique des Langues Naturelles, 2013

Learning Formal Definitions for Biomedical Concepts.
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

Concept adjustment for description logics.
Proceedings of the 7th International Conference on Knowledge Capture, 2013

A Hybrid Approach for Learning SNOMED CT Definitions from Text.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Learning Formal Definitions for Snomed CT from Text.
Proceedings of the Artificial Intelligence in Medicine, 2013

2012
Paraconsistent query answering over DL-Lite ontologies.
Web Intell. Agent Syst., 2012

Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets.
Proceedings of the ECAI 2012, 2012

2011
Computing inconsistency measure based on paraconsistent semantics.
J. Log. Comput., 2011

2010
Computational Complexity and Anytime Algorithm for Inconsistency Measurement.
Int. J. Softw. Informatics, 2010

Formal Description of Resources for Ontology-based Semantic Annotation.
Proceedings of the International Conference on Language Resources and Evaluation, 2010

Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Distance-based Measures of Inconsistency and Incoherency for Description Logics.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009
Measuring Inconsistency in DL-Lite Ontologies.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence, 2009

Détection des contradictions dans les annotations sémantiques.
Proceedings of the Actes de la 16ème conférence sur le Traitement Automatique des Langues Naturelles. Articles courts, 2009

Paraconsistent Reasoning for OWL 2.
Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

An Anytime Algorithm for Computing Inconsistency Measurement.
Proceedings of the Knowledge Science, 2009

Ontologies étendues pour l'annotation sémantique.
Proceedings of the IC 2009 : Actes des 20es Journées Francophones d'Ingénierie des Connaissances, 2009

Quasi-Classical Semantics for Expressive Description Logics.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
Paraconsistent Reasoning for Expressive and Tractable Description Logics.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007
Algorithms for Paraconsistent Reasoning with OWL.
Proceedings of the Semantic Web: Research and Applications, 2007

An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Paraconsistent Resolution for Four-valued Description Logics.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006
A Fault-Tolerant Default Logic.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach.
Proceedings of the Current Trends in Database Technology - EDBT 2006, 2006

Four-Valued Semantics for Default Logic.
Proceedings of the Advances in Artificial Intelligence, 2006


  Loading...