SemREC 2023: Semantic Reasoning Evaluation Challenge |
Website | https://semrec.github.io/ |
Submission link | https://easychair.org/conferences/?conf=semrec2023 |
Abstract registration deadline | August 25, 2023 |
Submission deadline | August 25, 2023 |
Despite the development of several ontology reasoning optimizations, the traditional methods either do not scale well or only cover a subset of OWL 2 language constructs. As an alternative, neuro-symbolic approaches are gaining significant attention. However, the existing methods can not deal with very expressive ontology languages. Other than that, some SPARQL query engines also support reasoning, but their performance also is still limited. To find and improve these performance bottlenecks of the reasoners, we ideally need several real-world ontologies that span the broad spectrum in terms of their size and expressivity. However, that is often not the case. One of the potential reasons for the ontology developers to not build ontologies that vary in terms of size and expressivity is the performance bottleneck of the reasoners. SemREC aims to deal with this chicken and egg problem. The third edition of this challenge includes the following tasks-
Task-1 - Ontologies. Submit a real-world ontology that is a challenge in terms of the reasoning time or memory consumed during reasoning. We expect a detailed description of the ontology along with the analysis of the reasoning performance, the workarounds if any, that were used to make the ontology less challenging (for example, dropping of a few axioms, redesigning the ontology, etc.), and the (potential) applications in which the ontology could be used. We will be evaluating the submitted ontologies based on the time consumed for a reasoning task, such as classification, and the memory consumed during reasoning.
Task-2 - Systems
- Ontology/RDFS Reasoners. Submit an ontology/RDFS reasoner that uses neural-symbolic techniques for reasoning and optimization. In terms of technique used, the submissions could fall under any of the below (or related) categories.
- Using learning-based techniques for performance optimization of traditional reasoning algorithms [6].
- Techniques that can learn the deductive reasoning aspect using the ontology axioms [1, 2, 3, 5].
- Inductive reasoning techniques based on a subsymbolic representation of entities and relations learned through the maximization of an objective function over valid triples. This could include works related to ontology completion (predicting missing facts or relations) [4, 7, 8].
Submission Guidelines
- Task-1.
We expect a detailed description of the ontology along with the analysis of the reasoning performance, the workarounds, if any, that were used to make the ontology less challenging (for example, dropping of a few axioms, redesigning the ontology, etc.), and the (potential) applications in which the ontology could be used. To generate the leaderboard, the submitted ontologies will be run on some of the traditional description logic reasoners such as Konclude, ELK, and Openllet . We will use reasoning (classification) time and the memory consumed as the primary metrics. We will use a timeout value of 6 hours, and the limit on the memory will be 96 GB.
- Task-2.
- To generate the leaderboard, the neural-symbolic reasoners will be provided with training, validation, and test datasets. We provide an eval.py file for the subsumption task. This is provided only to give an idea of the kind of submission we expect from the participants. Participants are requested to make the changes mentioned in the file to evaluate it on their embeddings for the supported reasoning task (e.g., class subsumption, class membership, etc). We would require the class embeddings of your model along with a readme on the changes made on the evaluation file and how to use it. We plan to evaluate the submitted systems on a Linux-based GPU server. The participants will include all the results in the submitted papers and provide their trained models/embeddings. We will further be evaluating the provided models on another small test dataset. The evaluation metrics will be reasoning time, memory consumed, precision and recall.
The submissions can be either in the form of short papers of length 5 pages or long papers of length 10-12 pages. All the submissions must be in English and follow the 1-column CEUR-ART style (overleaf template). The proceedings will be published as a volume of CEUR-WS. Submissions should be made in the form of a pdf document on EasyChair.
List of Topics
- Ontology
- Neuro-symbolic Description Logic Reasoning
Committees
Organizers
- Gunjan Singh, IIIT-Delhi, India.
- Raghava Mutharaju, IIIT-Delhi, India.
- Pavan Kapanipathi, IBM T.J. Watson Research Center, USA
Publication
The proceedings will be published as a volume of CEUR-WS.
Venue
This challenge will be collocated with the 22nd International Semantic Web Conference. (ISWC 2023)
Contact
In case you have any problems working with the datasets or any suggestions related to this challenge, please contact gunjans[at]iiitd.ac.in.
For the discussions related to the challenge, please subscribe to the discussion group.