Abstract is missing.
- A Reasoner-Challenging Ontology from the Microelectronics DomainFrank P. Wawrzik, Andreas Lober. 1-12 [doi]
- Reasoning Challenges on Gene Variants DataAsha Subramanian, Gopi Sumanth Bhaskar Boddeda, Manikanta Vikkurthi, Ikrormi Rungsung. 13-20 [doi]
- The CaLiGraph Ontology as a Challenge for OWL ReasonersNicolas Heist, Heiko Paulheim. 21-31 [doi]
- DACOC3 - DBpedia Archivo Challenging Ontology Consistency Check CollectionJohannes Frey, Denis Streitmatter, Sebastian Hellmann. 32-36 [doi]
- Query Answering and Scaling Extensions of KoncludeAndreas Steigmiller, Birte Glimm, Thorsten Liebig. 37-43 [doi]
- EmELvar: A NeuroSymbolic Reasoner for the EL++ Description LogicBiswesh Mohapatra, Sumit Bhatia, Raghava Mutharaju, G. Srinivasaraghavan 0001. 44-51 [doi]