Publications

See here for the publications after 2019.

Journals and book chapters

  1. Quantifying Conflicts in Propositional Logic Through Prime Implicates. Said Jabbour, Yue Ma, Raddaoui Badran, Lakhdar Sais: International Journal of Approximate Reasoning 89: 27-40 (2017)
  2. A Distance-based Framework for Inconsistency-Tolerant Reasoning and Inconsistency Measurement in DL-Lite. Xiaowang Zhang, Kewen Wang, Zhe Wang, Yue Ma, Guilin Qi: International Journal of Approximate Reasoning 89: 58-79 (2017)
  3. Formalizing biomedical concepts from textual definition. Alina Petrova, Yue Ma, George Tsatsaronis, Maria Kissa, Felix Distel, Franz Baader and Michael Schroeder: Journal of Biomedical Semantics, 6:22, 2015
  4. Semantically-Assisted XBRL-Taxonomy Alignment Across Languages Susan Marie Thomas, Xichuan Wu, Yue Ma, and Sean O’Riain, Towards the Multilingual Semantic Web, pp 277-293, 2014
  5. Paraconsistent OWL and Related Logics. Frederick Maier, Yue Ma, Pascal Hitzler: Semantic Web Journal 4(4): 395-427, 2013
  6. Paraconsistent Query Answering Over DL-Lite Ontologies. Liping Zhou, Houkuan Huang, Guilin Qi, Yue Ma, Zhisheng Huang, Youli Qu: Web Intelligence and Agent Systems 10(1):19-31, 2012
  7. Computing inconsistency measure based on paraconsistent semantics. Yue Ma, Guilin Qi, Pascal Hitzler: Journal of Logic and Computation 21(6): 1257-1281, 2011
  8. Computational Complexity and Anytime Algorithm for Inconsistency Measurement. Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin: International Journal of Software and Informatics 4(1): 3-21, 2010

Conference papers

  1. Franz Baader, Brigitte Grau, Yue Ma: HQA'18 Workshop Chairs' Welcome and Organization. WWW (Companion Volume) 2018: 1043-1044
  2. Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther:Zooming in on Ontologies: Minimal Modules and Best Excerpts. In Proceedings of the 16th International Semantic Web Conference (ISWC'17), 2017. 173-189.
  3. Amel Bouzeghoub, Said Jabbour,Yue Ma, Badran Raddaoui, Handling Conflicts in Uncertain Ontologies using Deductive Argumentation. IEEE/WIC/ACM International Conference on Web Intelligence (WI'2017), 65-72.
  4. Said Jabbour,Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi, A MIS Partition Based Framework for Measuring Inconsistency. 15th. International Conference on the Principles of Knowledge Representation and Reasoning (KR'2016), 2016, pages 84-93.
  5. Xiaowang Zhang, Kewen Wang, Zhe Wang, Yue Ma, Guilin Qi: A Distance-Based Paraconsistent Semantics for DL-Lite. Sixth International Conference on Knowledge Science, Engineering and Management (KSEM'15), 2015, pages 15-27
  6. Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther: Towards Extracting Ontology Excerpts. Sixth International Conference on Knowledge Science, Engineering and Management (KSEM'15), 2015, pages 78-89
  7. Said Jabbour,Yue Ma, Badran Raddaoui, Lakhdar Sais, On the Characterization of Inconsistency Measures: A Prime Implicates Based Framework, in 26st International Conference on Tools with Artificial Intelligence(ICTAI'14) , 2014, pages 146-153
  8. Long Cheng and Yue Ma, Investigating Distributed Approaches to Efficiently Extract Textual Evidences for Biomedical Ontologies, Proceedings of 14th IEEE International Conference on Bioinformatics and BioEngineering (BIBE'14), 2014, pages 220-225
  9. Said Jabbour and Yue Ma and Badran Raddaoui, Inconsistency Measurement Thanks to MUS Decomposition, Proceedings of the Autonomous Agents and Multiagent Systems (AAMAS'14), 2014, pages 877-884
  10. Yue Ma and Felix Distel, Concept Adjustment for Description Logics, 7th International Conference on Knowledge Capture (K-CAP’13), 2013, pages 65-72
  11. Yue Ma and Felix Distel, Learning Formal Definitions for SNOMED CT from Text, 14th Artificial Intelligence in MEdicine (AIME’13), 2013, pages 73-77
  12. Yue Ma and Qingfeng Chang, Measuring Incompleteness under Multi-Valued Semantics by Partial Max-SAT Solvers, 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’13), 2013, pages 388-399
  13. Yue Ma and François Lévy, Adeline Nazarenko, Annotation sémantique pour des domaines spécialisés et des ontologies riches, 20ème conférence du Traitement Automatique du Langage Naturel (TALN’13), 2013
  14. Guohui Xiao and Yue Ma, Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets, European Conference on Artificial Intelligence (ECAI'12), 2012, pages 864-869
  15. Yue Ma and François Levy and Sudeep Ghimire, Reasoning with annotations of texts, 24th International FLAIRS Conference (FLAIRS’11): Track AI, Cognitive Semantics, Computational Linguistics and Logics, AAAI Press, 2011, pages 192-197
  16. Guohui Xiao and ZuoquanLin and Yue Ma and Guilin Qi, Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT solvers, 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR’10), pages 340-349
  17. Yue Ma, Adeline Nazarenko, Laurent Audibert: Formal Description of Resources for Ontology-based Semantic Annotation. LREC 2010, pages 3765-3772
  18. Yue Ma and Gui lin Qi and Guohui Xiao and Pascal Hitzler and Zuoquan Lin, An Anytime Algorithm for Computing Inconsistency Measurement, Third International Conference on Knowledge Science, Engineering and Management, (KSEM’09), 2009, pages 29-40
  19. Yue Ma and Pascal Hitzler, Paraconsistent Reasoning for OWL 2, 3rd International Conference on Web Reasoning and Rule Systems (RR’09), 2009, pages 197-211
  20. Liping Zhou and Houkuan Huang and Guilin Qi and Yue Ma and Zhisheng Huang and Youli Qu, Measuring Inconsistency Degrees of DL-Lite Ontologies, IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI/IAT-09), 2009, pages 349-356
  21. Yue Ma and Laurent Audibert and Adeline Nazarenko, Ontologies étendues pour l’annotation sémantique, 20èmes Journées Francophones d’Ingénierie des Connaissances (IC’09), 2009, pages 205-216
  22. Yue Ma and Guilin Qi and Pascal Hitzler and Zuoquan Lin,Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics, Khaled Mellouli editor, 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’07), 2007, pages 30-41
  23. Yue Ma and Pascal Hitzler and Zuoquan Lin, Algorithms for Paraconsistent Reasoning with OWL., E. Franconi and M. Kifer and W. May, editors, 4th European Semantic Web Conference (ESWC’07), 2007, pages 399-413
  24. Yue Ma and Guilin Qi and Pascal Hitzler and Zuoquan Lin, An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics, In Khaled Mellouli editor, 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’07), 2007, pages 91-102
  25. Anbu Yue and Yue Ma and Zuoquan Lin,Four-Valued Semantics for Default Logic, In Luc Lamontagne and Mario Marchand editors. Advances in Artificial Intelligence, 19th Conference of the Canadian Society for Computational Studies of Intelligence (Canadian AI’06), 2006, pages 195-205
  26. Zhangang Lin and Yue Ma and Zuoquan Lin, A Fault-Tolerant Default Logic, In Michael Fisher and Wiebe van der Hoek and Boris Konev and Alexei Lisitsa, editors, 10th European Conference on Logics in Artificial Intelligence (JELIA’06), 2006, pages 253-265
  27. Yue Ma and Zuoquan Lin and Zhangang Lin, Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach, In Current Trends in Database Technology (EDBT’06), 2006, pages 535-553
  28. Jing Mei and Shengping Liu and Yue Ma and Zuoquan Lin, Ontologies and Rules in the Semanitc Web (in Chinese), Proceedings of 11th Annual Conference of Chinese Association of Artificial Intelligence (CAAI’05), 2005

Workshop papers

  1. Sanjay Kamath, Brigitte Grau, Yue Ma: Verification of the Expected Answer Type for Biomedical Question Answering. WWW (Companion Volume) 2018: 1093-1097.
  2. Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther: Computing Subsumption Justifications of Ontologies, Description Logics 2017.
  3. Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther: Evaluation of Extraction Techniques for Ontology Excerpts. Description Logics 2014: 471-482
  4. Yue Ma, Rafael Peñaloza: Towards Parallel Repair: An Ontology Decomposition-based Approach. Description Logics 2014: 633-645
  5. François Lévy, Nadi Tomeh, Yue Ma, Ontology-based Technical Text Annotation, COLING Workshop on Synchronic and Diachronic Approaches to Analyzing Technical Language (SADAATL), 2014, pages 21-30
  6. Yue Ma and Julian Mendez, High Quality Data Generation: An Ontology Reasoning based Approach, Proceedings of the IJCAI-13Workshop on Artificial Intelligence for Big Data. 2013.
  7. George Tsatsaronis, Alina Petrova, Maria Kissa, Yue Ma, Felix Distel, Franz Baader and Michael Schroeder, Learning Formal Definitions for Biomedical Concepts, 10th OWL : Experiences and Directions Work-shop (OWLED’13), 2013
  8. Yue Ma, Pascal Hitzler, Distance-based Measures of Inconsistency and Incoherency for Description Logics. 2010 International Workshop on Description Logics (DL’10), 2010, pages 475-485
  9. Yue Ma and Pascal Hitzler and Zuoquan Lin, Paraconsistent Reasoning for Expressive and Tractable Description Logics, 2008 International Workshop on Description Logics (DL’08), volume 353 of CEUR Workshop Proceedings, 2008
  10. Yue Ma and Guilin Qi and Pascal Hitzler and Zuoquan Lin, Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics, 2007 International Workshop on Description Logics (DL’07), 2007
  11. Yue Ma and Guilin Qi and Pascal Hitzler and Zuoquan Lin, Paraconsistent Resolution for Four-valued Description Logics, 2007 International Workshop on Description Logics (DL’07), 2007

Posters and Demostrations

  1. Said Jabbour,Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi, On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing, Proceedings of the Autonomous Agents and Multiagent Systems (AAMAS'15), 2015, pages 1749-1450
  2. Said Jabbour and Yue Ma and Badran Raddaoui and Lakhdar Sais. Prime Implicates Based Inconsistency Characterization. European Conference on Artificial Intelligence (ECAI'14), 2014, pages 1037-1038
  3. Yue Ma and Alifah Syamsiyah, A Hybrid Approach to Learn Description Logic based Biomedical Ontology from Texts, International Semantic Web Conference (ISWC'14), 2014
  4. Yue Ma, Rafael Peñaloza: Towards Parallel Repair: An Ontology Decomposition-based Approach. Description Logics 2014 (DL'14): 633-645, 2014. pdf
  5. Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther: Evaluation of Extraction Techniques for Ontology Excerpts. 2014 International Workshop on Description Logics (DL'14), 2014, pages 471-482
  6. Xiaowang Zhang and Guilin Qi and Yue Ma and Zuoquan Lin, Quasi-Classical Semantics for Expressive Description Logics, In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler editors, 2009 International Workshop on Description Logics (DL’09), volume 477 of CEUR Workshop Proceedings, 2009
  7. Yue Ma and Laurent Audibert, Détection des contradictions dans les annotations sémantiques, In Proc. of Traitement Automatique du Langage Naturel (TALN’09), 2009, pages 609-618

Technical Reports

  • Yue Ma, Felix Distel, Learning Formal Definitions for SNOMED CT concepts from Text, Technischen Universität Dresden, Germany, 2013.
  • Algorithms for Paraconsistent Reasoning with OWL., Institute AIFB, University Karlsruhe, 2007.
  • Paraconsistent Description Logics. Department of Information Science, Peking University, 2008.