SemREC 2021
Semantic Reasoning Evaluation Challenge 2021

Table of Contents

• Preface
  Summary: There were 6 papers submitted across the three tasks. Four were in Task-1, one each in Tasks 2 and 3. All 6 submissions were accepted.

Ontology Description Papers (Task 1)

• A Reasoner-Challenging Ontology from the Microelectronics Domain 1-12
  Frank P. Wawrzik , Andreas Lober
• Reasoning Challenges on Gene Variants Data (short paper) 13-20
  Asha Subramanian , Gopi Sumanth Bhaskar Boddeda , Manikanta Vikkurthi , Ikrormi Rungsung
• The CaLiGraph Ontology as a Challenge for OWL Reasoners 21-31
  Nicolas Heist , Heiko Paulheim
• DACOC3 - DBpedia Archivo Challenging Ontology Consistency Check Collection (short paper) 32-36
  Johannes Frey , Denis Streitmatter , Sebastian Hellmann

Traditional Description Logic Reasoners (Task 2)

• Query Answering and Scaling Extensions of Konclude (short paper) 37-43
  Andreas Steigmiller , Birte Glimm , Thorsten Liebig

Neuro-symbolic Reasoners (Task 3)

• EmELvar: A NeuroSymbolic Reasoner for the EL++ Description Logic (short paper) 44-51
  Biswesh Mohapatra , Sumit Bhatia , Raghava Mutharaju , G. Srinivasaraghavan