Gunjan Singh

Profile

About

I am a Postdoctoral Researcher at FIZ Karlsruhe – Leibniz Institute for Information Infrastructure, working with Prof. Dr. Harald Sack. My research lies at the intersection of ontology engineering, description logic reasoning, and neuro-symbolic AI. More recently, I have developed a growing interest in exploring non-conventional approaches to tableau optimization, particularly by investigating how the linguistic knowledge encoded in large language models can complement symbolic reasoning procedures. I am also interested in efficient ontology modeling techniques that improve both reasoning performance and knowledge representation quality, as well as reasoning over temporal knowledge represented in OWL 2 ontologies.

Timeline

Experience

• Feb 2025 – Current
  Postdoctoral Researcher now
  Information Service Engineering (ISE), FIZ Karlsruhe — with Prof. Dr. Harald Sack
  Ontology reasoning, benchmarking, and neuro-symbolic reasoning.
• 2019 – 2026
  PhD Researcher
  IIIT Delhi — advised by Dr. Raghava Mutharaju and Dr. Sumit Bhatia
  Benchmarks for description logic reasoners: static, streaming, and neuro-symbolic.
  • May – Jul 2019
    Research Internship
    IBM India Research Lab, New Delhi — with Dr. Sumit Bhatia
  • Aug 2020 – Aug 2022
    IBM PhD Fellowship
  • Sep 2023 – Feb 2024
    Overseas Research Fellowship (ORF)
    Funded the research stay at LIRIS Lab, INSA Lyon
  • Sep 2023 – Feb 2024
    Research Internship
    LIRIS Lab, INSA Lyon, France — with Dr. Riccardo Tommasini
• Aug 2016 – Dec 2018
  Assistant Professor
  Galgotias College of Engineering and Technology (AKTU)
• 2014 – 2016
  M.Tech, Computer Science & Engineering
  Aligarh Muslim University, India — two gold medals
• 2010 – 2014
  B.Tech, Computer Engineering
  Aligarh Muslim University, India

⊨ Bibliography

Publications

Conference & Journal Papers

1. OWL2Gen: Towards a Configurable Ontology Generator for Benchmarking. Gunjan Singh, Ashwat Kumar, Sumit Bhatia, Raghava Mutharaju. Poster & Demo Track, 43rd International Conference on Conceptual Modeling (ER), Pittsburgh, PA, 2024.
2. GenACT: An Ontology-Based Temporal Web Data Generator. Gunjan Singh, Riccardo Tommasini, Sumit Bhatia, Raghava Mutharaju. 43rd International Conference on Conceptual Modeling (ER), LNCS, Springer, 2024.
3. Benchmarking Neuro-Symbolic Description Logic Reasoners: Existing Challenges and A Way Forward. Gunjan Singh, Udit Arora, Shashikant Kumar, Riccardo Tommasini, Pieter Bonte, Sumit Bhatia, Raghava Mutharaju. Neurosymbolic Artificial Intelligence (NAI) Journal.
4. Benchmarking Symbolic and Neuro-Symbolic Description Logic Reasoners. Gunjan Singh. Doctoral Consortium, 22nd International Semantic Web Conference (ISWC), 2023. pdf ↗
5. Neuro-Symbolic RDF and Description Logic Reasoners: State-of-the-Art and Challenges. Gunjan Singh, Sumit Bhatia, Raghava Mutharaju. Book chapter, Neuro-Symbolic Artificial Intelligence: The State of the Art, IOS Press, 2022. pdf ↗
6. OWL2Bench: A Benchmark for OWL 2 Reasoners. Gunjan Singh, Sumit Bhatia, Raghava Mutharaju. Resources Track, ISWC 2020. pdf ↗
7. Neuro-Symbolic Techniques for Description Logic Reasoning. Gunjan Singh, Sutapa Mondal, Sumit Bhatia, Raghava Mutharaju. Student Abstract, AAAI 2020. pdf ↗
8. OWL2Bench: Towards a Customizable Benchmark for OWL 2 Reasoners. Gunjan Singh, Ashwat Kumar, Kanav Bhagat, Sumit Bhatia, Raghava Mutharaju. Posters Track, ISWC 2020. pdf ↗
9. A Benchmark for OWL 2 DL Reasoners. Gunjan Singh, Sumit Bhatia, Raghava Mutharaju. Young Researchers' Symposium, CODS-COMAD, Hyderabad, 2020. pdf ↗
10. Towards a Concurrent Approximate Description Logic Reasoner. Raj Kamal Yadav, Gunjan Singh, Raghava Mutharaju, Sumit Bhatia. Posters Track, ISWC 2019, Auckland. pdf ↗

Edited Proceedings

1. Proceedings of the 14th Workshop on Ontology Design and Patterns (WOP 2023), co-located with ISWC 2023, Athens. Raghava Mutharaju, Agnieszka Ławrynowicz, Pramit Bhattacharyya, Eva Blomqvist, Luigi Asprino, Gunjan Singh (eds). CEUR-WS Vol. 3636, 2024. link ↗
2. Joint Proceedings of Scholarly QALD 2023 and SemREC 2023, co-located with ISWC 2023, Athens. Debayan Banerjee, Ricardo Usbeck, Nandana Mihindukulasooriya, Gunjan Singh, Raghava Mutharaju, Pavan Kapanipathi (eds). CEUR-WS Vol. 3592, 2023. link ↗
3. Joint Proceedings of SemREC 2022 and SMART 2022, co-located with ISWC 2022, Hangzhou. Gunjan Singh, Raghava Mutharaju, Pavan Kapanipathi, Nandana Mihindukulasooriya, Mohnish Dubey, Ricardo Usbeck, Debayan Banerjee (eds). CEUR-WS Vol. 3337, 2023. link ↗
4. Proceedings of the Semantic Reasoning Evaluation Challenge (SemREC 2021), co-located with ISWC 2021. Gunjan Singh, Raghava Mutharaju, Pavan Kapanipathi (eds). CEUR-WS Vol. 3123, 2022. link ↗

This material is presented to ensure timely dissemination of scholarly work. Copyright and all rights are retained by the authors or other copyright holders; please respect the terms of each publisher when redistributing.

Recognition

Activities

• Organized the Semantic Reasoning Evaluation Challenge (SemREC) three times, at ISWC 2021, 2022, and 2023.
• Organizing Committee member, 14th Workshop on Ontology Design and Patterns (WOP) 2023, ISWC 2023.
• Sub-reviewer for CIKM 2022, ESWC 2023, ACL 2023, ISWC 2022, ICKG 2022, AAAI 2023, TheWebConf 2023, and NeSy 2024.
• Head Teaching Assistant, Semantic Web & Information Retrieval courses, Winter 2020–21, 2021–22, and 2023–24 — evaluated assignments and exams, designed questions, and supported students.
• Qualified UGC-NET, November 2017.
• University Postgraduate Gold Medal, M.Tech Computer Science & Engineering, AMU, 2016.
• University Postgraduate Gold Medal, first rank across all branches, M.Tech, AMU, 2016.
• Qualified GATE 2014 with a 98.37 percentile.