| Vol-3123 urn:nbn:de:0074-3123-7 Copyright © 2022 for the individual papers by the papers' authors. Copyright © 2022 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# SemREC 2021
Semantic Reasoning Evaluation Challenge 2021

### Proceedings of the Semantic Reasoning Evaluation Challenge (SemREC 2021)
co-located with the 20th International Semantic Web Conference (ISWC 2021)

### Virtual Event, October 27th, 2021.

Edited by

### Gunjan Singh *
Raghava Mutharaju *
Pavan Kapanipathi **

* KRaCR Lab, IIIT, Delhi, India
** IBM T.J. Watson Research Center, USA, USA

## 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

2022-04-03: submitted by Gunjan Singh, metadata incl. bibliographic data published under Creative Commons CC0
2022-04-14: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|