Semantic Reasoning Evaluation Challenge (SemREC)

21st International Semantic Web Conference (ISWC 2022)


For task 1, all our evaluations ran on a server with an AMD Ryzen Threadripper 2990WX 32-Core Processor and 128GB of RAM. The server ran on a 5.3.0-46-generic #38 18.04.1-Ubuntu SMP operating system. We use Java 1.8 and OWL API 5.1.11 in the experiments. We set the heap space to 24GB. We report the average time taken in 2 independent runs for the classification task.

Task-1

We got 2 submissions in this category (arranged in the order of ranking). We evaluated each ontology in terms of the time-taken(in seconds) by different OWL 2 DL reasoners (HermiT 1.4.5.456, JFact 5.0.05, Konclude 0.7.0, Openllet 2.6.46 , and Pellet 2.3.6).
LE (Loading Error), PE (Parsing Error), ME (Memory Error), TO (Time-out)
Submissions Submitted Ontologies Expressivity Total Axioms Count Logical Axioms Count Openllet Konclude
FIBOFIBO (Prod)SROIQ(D)901865012110800ME
FIBO (Dev)SROIQ(D)988105359128800ME
BAALLFOD_Dish_allSHIF(D)3541913348TO0.050
FOD_Small_allSHF(D)201896610Null Pointer Exception0.030
Ingredient_downSROIQ(D)537243195.200.002
Ingredient_i032to001SROIQ(D)373202130.230.002
FOD_Product_allSHIF(D)2927010889Null Pointer Exception0.048
FOD_Small_i032to001SROIQ(D)201966631Null Pointer Exception0.002
Ingredient_i016to001SROIQ(D)3732020.130.002
Ingredient_i064to001SROIQ(D)5372430.140.002

Task-2

Results of the submitted Neuro-symbolic reasoners. These results are the same as reported by the authors in the paper.

Memory Networks for RDFS reasoning: Experiments
...

Improving Transitive Embeddings in Neural Reasoning Tasks via Knowledge-Based Policy Networks
...