updated comment style

Laschoking · Laschoking · commit ea86c1a8231d · 2025-01-15T16:59:10.000+01:00
diff --git a/chasebench/deep/deep-100.rls b/chasebench/deep/deep-100.rls
@@ -1,4 +1,4 @@
-%%% Imports
+%% Imports
 
 @import v0 :- csv { resource = "data/100/v0.csv.gz" } .
 @import v1 :- csv { resource = "data/100/v1.csv.gz" } .
@@ -1001,7 +1001,8 @@
 @import v998 :- csv { resource = "data/100/v998.csv.gz" } .
 @import v999 :- csv { resource = "data/100/v999.csv.gz" } .
 
-%%% t-tgds
+
+%% t-tgds
 
 m298004(?X2,!X3,!X9,!X10),m113004(!X3,!X4,!X11,!X12),m299004(!X0,?X1,!X5,!X6) :- m87004(?X1,?X2,?X7,?X8) .
 m120004(?X2,!X3,!X9,!X10),m7004(!X3,!X4,!X11,!X12),m299004(!X0,?X1,!X5,!X6) :- m204004(?X1,?X2,?X7,?X8) .
@@ -1104,7 +1105,8 @@ m164004(?X2,!X3,!X9,!X10),m57004(!X3,!X4,!X11,!X12),m10004(!X0,?X1,!X5,!X6) :- m
 m120004(?X2,!X3,!X9,!X10),m31004(!X3,!X4,!X11,!X12),m10004(!X0,?X1,!X5,!X6) :- m228004(?X1,?X2,?X7,?X8) .
 m78004(?X2,!X3,!X9,!X10),m161004(!X3,!X4,!X11,!X12),m10004(!X0,?X1,!X5,!X6) :- m127004(?X1,?X2,?X7,?X8) .
 
-%%% st-tgds
+
+%% st-tgds
 
 m87004(?X1,?X2,?X7,?X8),m298004(?X2,!X3,!X9,!X10),m113004(!X3,!X4,!X11,!X12) :- v0(?X1,?X2,?X7,?X8) .
 m47004(?X1,?X2,?X7,?X8),m17004(?X2,!X3,!X9,!X10),m2004(!X3,!X4,!X11,!X12) :- v1(?X1,?X2,?X7,?X8) .
diff --git a/chasebench/deep/deep-200.rls b/chasebench/deep/deep-200.rls
@@ -1,4 +1,4 @@
-%%% Imports
+%% Imports
 
 @import v0 :- csv { resource = "data/200/v0.csv.gz" } .
 @import v1 :- csv { resource = "data/200/v1.csv.gz" } .
@@ -1001,7 +1001,8 @@
 @import v998 :- csv { resource = "data/200/v998.csv.gz" } .
 @import v999 :- csv { resource = "data/200/v999.csv.gz" } .
 
-%%% t-tgds
+
+%% t-tgds
 
 m298004(?X2,!X3,!X9,!X10),m113004(!X3,!X4,!X11,!X12),m299004(!X0,?X1,!X5,!X6) :- m87004(?X1,?X2,?X7,?X8) .
 m244004(?X2,!X3,!X9,!X10),m57004(!X3,!X4,!X11,!X12),m298004(!X0,?X1,!X5,!X6) :- m265004(?X1,?X2,?X7,?X8) .
@@ -1204,7 +1205,8 @@ m120004(?X2,!X3,!X9,!X10),m31004(!X3,!X4,!X11,!X12),m10004(!X0,?X1,!X5,!X6) :- m
 m78004(?X2,!X3,!X9,!X10),m161004(!X3,!X4,!X11,!X12),m10004(!X0,?X1,!X5,!X6) :- m127004(?X1,?X2,?X7,?X8) .
 m234004(?X2,!X3,!X9,!X10),m53004(!X3,!X4,!X11,!X12),m9004(!X0,?X1,!X5,!X6) :- m214004(?X1,?X2,?X7,?X8) .
 
-%%% st-tgds
+
+%% st-tgds
 
 m87004(?X1,?X2,?X7,?X8),m298004(?X2,!X3,!X9,!X10),m113004(!X3,!X4,!X11,!X12) :- v0(?X1,?X2,?X7,?X8) .
 m47004(?X1,?X2,?X7,?X8),m17004(?X2,!X3,!X9,!X10),m2004(!X3,!X4,!X11,!X12) :- v1(?X1,?X2,?X7,?X8) .
diff --git a/chasebench/deep/deep-300.rls b/chasebench/deep/deep-300.rls
@@ -1,4 +1,4 @@
-%%% Imports
+%% Imports
 
 @import v0 :- csv { resource = "data/300/v0.csv.gz" } .
 @import v1 :- csv { resource = "data/300/v1.csv.gz" } .
@@ -1001,7 +1001,8 @@
 @import v998 :- csv { resource = "data/300/v998.csv.gz" } .
 @import v999 :- csv { resource = "data/300/v999.csv.gz" } .
 
-%%% t-tgds
+
+%% t-tgds
 
 m298004(?X2,!X3,!X9,!X10),m113004(!X3,!X4,!X11,!X12),m299004(!X0,?X1,!X5,!X6) :- m87004(?X1,?X2,?X7,?X8) .
 m17004(?X2,!X3,!X9,!X10),m2004(!X3,!X4,!X11,!X12),m59004(!X0,?X1,!X5,!X6) :- m47004(?X1,?X2,?X7,?X8) .
@@ -1304,7 +1305,8 @@ m120004(?X2,!X3,!X9,!X10),m31004(!X3,!X4,!X11,!X12),m10004(!X0,?X1,!X5,!X6) :- m
 m78004(?X2,!X3,!X9,!X10),m161004(!X3,!X4,!X11,!X12),m10004(!X0,?X1,!X5,!X6) :- m127004(?X1,?X2,?X7,?X8) .
 m234004(?X2,!X3,!X9,!X10),m53004(!X3,!X4,!X11,!X12),m9004(!X0,?X1,!X5,!X6) :- m214004(?X1,?X2,?X7,?X8) .
 
-%%% st-tgds
+
+%% st-tgds
 
 m87004(?X1,?X2,?X7,?X8),m298004(?X2,!X3,!X9,!X10),m113004(!X3,!X4,!X11,!X12) :- v0(?X1,?X2,?X7,?X8) .
 m47004(?X1,?X2,?X7,?X8),m17004(?X2,!X3,!X9,!X10),m2004(!X3,!X4,!X11,!X12) :- v1(?X1,?X2,?X7,?X8) .
diff --git a/chasebench/lubm/run-lubm-001-chasebench.rls b/chasebench/lubm/run-lubm-001-chasebench.rls
@@ -1,4 +1,4 @@
-%%% Imports
+%% Imports
 
 @import src_advisor :- csv { resource = "data/001/src_advisor.csv.gz" } .
 @import src_AssistantProfessor :- csv { resource = "data/001/src_AssistantProfessor.csv.gz" } .
@@ -31,7 +31,8 @@
 @import src_University :- csv { resource = "data/001/src_University.csv.gz" } .
 @import src_worksFor :- csv { resource = "data/001/src_worksFor.csv.gz" } .
 
-%%% st-tgds
+
+%% st-tgds
 
 advisor(?X, ?Y) :- src_advisor(?X, ?Y) .
 AssistantProfessor(?X) :- src_AssistantProfessor(?X) .
@@ -64,7 +65,8 @@ UndergraduateStudent(?X) :- src_UndergraduateStudent(?X) .
 University(?X) :- src_University(?X) .
 worksFor(?X, ?Y) :- src_worksFor(?X, ?Y) .
 
-%%% t-tgds
+
+%% t-tgds
 
 Employee(?X) :- AdministrativeStaff(?X) .
 Person(?X) :- advisor(?X, ?X1) .
diff --git a/chasebench/lubm/run-lubm-010-chasebench.rls b/chasebench/lubm/run-lubm-010-chasebench.rls
@@ -1,4 +1,4 @@
-%%% Imports
+%% Imports
 
 @import src_advisor :- csv { resource = "data/010/src_advisor.csv.gz" } .
 @import src_AssistantProfessor :- csv { resource = "data/010/src_AssistantProfessor.csv.gz" } .
@@ -31,7 +31,8 @@
 @import src_University :- csv { resource = "data/010/src_University.csv.gz" } .
 @import src_worksFor :- csv { resource = "data/010/src_worksFor.csv.gz" } .
 
-%%% st-tgds
+
+%% st-tgds
 
 advisor(?X, ?Y) :- src_advisor(?X, ?Y) .
 AssistantProfessor(?X) :- src_AssistantProfessor(?X) .
@@ -64,7 +65,8 @@ UndergraduateStudent(?X) :- src_UndergraduateStudent(?X) .
 University(?X) :- src_University(?X) .
 worksFor(?X, ?Y) :- src_worksFor(?X, ?Y) .
 
-%%% t-tgds
+
+%% t-tgds
 
 Employee(?X) :- AdministrativeStaff(?X) .
 Person(?X) :- advisor(?X, ?X1) .
diff --git a/chasebench/lubm/run-lubm-01k-chasebench.rls b/chasebench/lubm/run-lubm-01k-chasebench.rls
@@ -1,4 +1,4 @@
-%%% Imports
+%% Imports
 
 @import src_advisor :- csv { resource = "data/01k/src_advisor.csv.gz" } .
 @import src_AssistantProfessor :- csv { resource = "data/01k/src_AssistantProfessor.csv.gz" } .
@@ -31,7 +31,8 @@
 @import src_University :- csv { resource = "data/01k/src_University.csv.gz" } .
 @import src_worksFor :- csv { resource = "data/01k/src_worksFor.csv.gz" } .
 
-%%% st-tgds
+
+%% st-tgds
 
 advisor(?X, ?Y) :- src_advisor(?X, ?Y) .
 AssistantProfessor(?X) :- src_AssistantProfessor(?X) .
@@ -64,7 +65,8 @@ UndergraduateStudent(?X) :- src_UndergraduateStudent(?X) .
 University(?X) :- src_University(?X) .
 worksFor(?X, ?Y) :- src_worksFor(?X, ?Y) .
 
-%%% t-tgds
+
+%% t-tgds
 
 Employee(?X) :- AdministrativeStaff(?X) .
 Person(?X) :- advisor(?X, ?X1) .
diff --git a/chasebench/lubm/run-lubm-100-chasebench.rls b/chasebench/lubm/run-lubm-100-chasebench.rls
@@ -1,4 +1,4 @@
-%%% Imports
+%% Imports
 
 @import src_advisor :- csv { resource = "data/100/src_advisor.csv.gz" } .
 @import src_AssistantProfessor :- csv { resource = "data/100/src_AssistantProfessor.csv.gz" } .
@@ -31,7 +31,8 @@
 @import src_University :- csv { resource = "data/100/src_University.csv.gz" } .
 @import src_worksFor :- csv { resource = "data/100/src_worksFor.csv.gz" } .
 
-%%% st-tgds
+
+%% st-tgds
 
 advisor(?X, ?Y) :- src_advisor(?X, ?Y) .
 AssistantProfessor(?X) :- src_AssistantProfessor(?X) .
@@ -64,7 +65,8 @@ UndergraduateStudent(?X) :- src_UndergraduateStudent(?X) .
 University(?X) :- src_University(?X) .
 worksFor(?X, ?Y) :- src_worksFor(?X, ?Y) .
 
-%%% t-tgds
+
+%% t-tgds
 
 Employee(?X) :- AdministrativeStaff(?X) .
 Person(?X) :- advisor(?X, ?X1) .
diff --git a/chasebench/ontology-256/run-ontology-256.rls b/chasebench/ontology-256/run-ontology-256.rls
@@ -1,4 +1,4 @@
-%%% Imports
+%% Imports
 
 @import act_vnm_8_nl0_ce0 :- csv { resource = "data/act_vnm_8_nl0_ce0.csv.gz" } .
 @import air_ad_39_nl0_ce0 :- csv { resource = "data/air_ad_39_nl0_ce0.csv.gz" } .
@@ -219,7 +219,8 @@
 @import worry_ad_4_nl0_ce0 :- csv { resource = "data/worry_ad_4_nl0_ce0.csv.gz" } .
 @import write_vh_56_nl0_ce0 :- csv { resource = "data/write_vh_56_nl0_ce0.csv.gz" } .
 
-%%% Rules
+
+%% Rules
 
 touch_ad_1_nl0_ce0(?a,?b,?c,!d) :- test_ad_1_nl0_ce0(?a,?b,?c) .
 different_vi_1_nl0_ce0(?a,?b,?c),society_vi_1_nl0_ce1(?a,?d,?e) :- society_vi_1_nl0_ce0(?a,?b,?c,?d,?e) .
diff --git a/evaluations/kr2024/programs/deep-100/nemo/run.rls b/evaluations/kr2024/programs/deep-100/nemo/run.rls
@@ -1,4 +1,5 @@
-% Sources
+%% Sources
+
 @import v0 :- csv { resource = "../data/v0.csv.gz", format=(string, string, string, string) } .
 @import v1 :- csv { resource = "../data/v1.csv.gz", format=(string, string, string, string) } .
 @import v10 :- csv { resource = "../data/v10.csv.gz", format=(string, string, string, string) } .
@@ -1102,7 +1103,9 @@ m164004(?X2,!X3,!X9,!X10),m57004(!X3,!X4,!X11,!X12),m10004(!X0,?X1,!X5,!X6) :- m
 m120004(?X2,!X3,!X9,!X10),m31004(!X3,!X4,!X11,!X12),m10004(!X0,?X1,!X5,!X6) :- m228004(?X1,?X2,?X7,?X8) .
 m78004(?X2,!X3,!X9,!X10),m161004(!X3,!X4,!X11,!X12),m10004(!X0,?X1,!X5,!X6) :- m127004(?X1,?X2,?X7,?X8) .
 
-% st-tgds
+
+%% st-tgds
+
 m87004(?X1,?X2,?X7,?X8),m298004(?X2,!X3,!X9,!X10),m113004(!X3,!X4,!X11,!X12) :- v0(?X1,?X2,?X7,?X8) .
 m47004(?X1,?X2,?X7,?X8),m17004(?X2,!X3,!X9,!X10),m2004(!X3,!X4,!X11,!X12) :- v1(?X1,?X2,?X7,?X8) .
 m284004(?X1,?X2,?X7,?X8),m256004(?X2,!X3,!X9,!X10),m243004(!X3,!X4,!X11,!X12) :- v2(?X1,?X2,?X7,?X8) .
diff --git a/evaluations/kr2024/programs/deep-200/nemo/run.rls b/evaluations/kr2024/programs/deep-200/nemo/run.rls
@@ -1,4 +1,5 @@
-% Sources
+%% Sources
+
 @import v0 :- csv { resource = "../data/v0.csv.gz", format=(string, string, string, string) } .
 @import v1 :- csv { resource = "../data/v1.csv.gz", format=(string, string, string, string) } .
 @import v10 :- csv { resource = "../data/v10.csv.gz", format=(string, string, string, string) } .
@@ -1000,7 +1001,9 @@
 @import v998 :- csv { resource = "../data/v998.csv.gz", format=(string, string, string, string) } .
 @import v999 :- csv { resource = "../data/v999.csv.gz", format=(string, string, string, string) } .
 
-% t-tgds
+
+%% t-tgds
+
 m298004(?X2,!X3,!X9,!X10),m113004(!X3,!X4,!X11,!X12),m299004(!X0,?X1,!X5,!X6) :- m87004(?X1,?X2,?X7,?X8) .
 m244004(?X2,!X3,!X9,!X10),m57004(!X3,!X4,!X11,!X12),m298004(!X0,?X1,!X5,!X6) :- m265004(?X1,?X2,?X7,?X8) .
 m116004(?X2,!X3,!X9,!X10),m291004(!X3,!X4,!X11,!X12),m298004(!X0,?X1,!X5,!X6) :- m16004(?X1,?X2,?X7,?X8) .
@@ -1202,7 +1205,9 @@ m120004(?X2,!X3,!X9,!X10),m31004(!X3,!X4,!X11,!X12),m10004(!X0,?X1,!X5,!X6) :- m
 m78004(?X2,!X3,!X9,!X10),m161004(!X3,!X4,!X11,!X12),m10004(!X0,?X1,!X5,!X6) :- m127004(?X1,?X2,?X7,?X8) .
 m234004(?X2,!X3,!X9,!X10),m53004(!X3,!X4,!X11,!X12),m9004(!X0,?X1,!X5,!X6) :- m214004(?X1,?X2,?X7,?X8) .
 
-%st-tgds
+
+%%st-tgds
+
 m87004(?X1,?X2,?X7,?X8),m298004(?X2,!X3,!X9,!X10),m113004(!X3,!X4,!X11,!X12) :- v0(?X1,?X2,?X7,?X8) .
 m47004(?X1,?X2,?X7,?X8),m17004(?X2,!X3,!X9,!X10),m2004(!X3,!X4,!X11,!X12) :- v1(?X1,?X2,?X7,?X8) .
 m284004(?X1,?X2,?X7,?X8),m256004(?X2,!X3,!X9,!X10),m243004(!X3,!X4,!X11,!X12) :- v2(?X1,?X2,?X7,?X8) .
diff --git a/evaluations/kr2024/programs/el/nemo/run.rls b/evaluations/kr2024/programs/el/nemo/run.rls
@@ -1,7 +1,7 @@
-%%% Implements EL reasoning based on the (optimized) encoding described here:
-%%% https://link.springer.com/article/10.1007/s10817-013-9296-3
-%%% 
-%%% The description of rules at the bottom reference the names from Figure 3.
+%! Implements EL reasoning based on the (optimized) encoding described here:
+%! https://link.springer.com/article/10.1007/s10817-013-9296-3
+%! 
+%! The description of rules at the bottom reference the names from Figure 3.
 
 @prefix nf: <http://rulewerk.semantic-web.org/normalForm/> .
 @prefix inf: <http://rulewerk.semantic-web.org/inferred/> .
@@ -10,81 +10,92 @@
 @prefix owl: <http://www.w3.org/2002/07/owl#> .
 @prefix genid: <https://rulewerk.semantic-web.org/.well-known/genid/> .
 
-%%% This file assumes a normalized owl ontology to be present
 
-% nf:isMainClass(?C): ?C is an "interesting" class (not just an auxiliary class expression)
+%% This file assumes a normalized owl ontology to be present
+
+%%% nf:isMainClass(?C): ?C is an "interesting" class (not just an auxiliary class expression)
 @import nf:isMainClass :- csv { resource = "../data/isMainClass.csv.gz", format=(string) } .
-% nf:isSubClass(?C): ?C occurs in a subclass position (i.e., negatively) 
+
+%%% nf:isSubClass(?C): ?C occurs in a subclass position (i.e., negatively) 
 @import nf:isSubClass :- csv { resource = "../data/isSubClass.csv.gz", format=(string) } .
-% nf:conj(?C, ?D1, ?D1): ?C is the conjunction of ?D1 and ?D2
+
+%%% nf:conj(?C, ?D1, ?D1): ?C is the conjunction of ?D1 and ?D2
 @import nf:conj :- csv { resource = "../data/conj.csv.gz", format=(string, string, string) } .
-% nf:exists(?E, ?R, ?C): Every ?E has an ?R-relation to a ?C
+
+%%% nf:exists(?E, ?R, ?C): Every ?E has an ?R-relation to a ?C
 @import nf:exists :- csv { resource = "../data/exists.csv.gz", format=(string, string, string) } .
-% nf:subClassOf(?C, ?D): Every member of ?C is a member of ?D
+
+%%% nf:subClassOf(?C, ?D): Every member of ?C is a member of ?D
 @import nf:subClassOf :- csv { resource = "../data/subClassOf.csv.gz", format=(string, string) } .
-% nf:subPropChain(?S1, ?S2, ?S): Roles ?S1 composed with ?S2 are a subproperty of the role ?S 
+
+%%% nf:subPropChain(?S1, ?S2, ?S): Roles ?S1 composed with ?S2 are a subproperty of the role ?S 
 @import nf:subPropChain :- csv { resource = "../data/subPropChain.csv.gz", format=(string, string, string) } .
-% nf:subProp(?R, ?S): Role ?R is a subproperty of the role ?S
+
+%%% nf:subProp(?R, ?S): Role ?R is a subproperty of the role ?S
 @import nf:subProp :- csv { resource = "../data/subProp.csv.gz", format=(string, string) } .
 
-%%% Inference rules
 
-% Start classification for all named classes
+%% Inference rules
+
+%%% Start classification for all named classes
 inf:init(?C) :- nf:isMainClass(?C) .
-% R_init
+
+%%% R_init
 inf:init(?C) :- inf:ex(?E, ?R, ?C) .
 
-% R_0: Every class is a sub class of itself
+%% R_0: Every class is a sub class of itself
 inf:subClassOf(?C, ?C) :- inf:init(?C) .
-% R_\top: Every class is a sub class of owl:Thing
+
+%%% R_\top: Every class is a sub class of owl:Thing
 inf:subClassOf(?C, "<http://www.w3.org/2002/07/owl#Thing>") :- nf:isMainClass(?C) .
 
-% R_\sqcap^-: 
-%   If ?C is contained in the intersection of ?D1 and ?D1,
-%   then ?C is contained in ?D1 and ?C is contained in ?D2.
+%%% R_\sqcap^-: 
+%%%   If ?C is contained in the intersection of ?D1 and ?D1,
+%%%   then ?C is contained in ?D1 and ?C is contained in ?D2.
 inf:subClassOf(?C,?D1), inf:subClassOf(?C,?D2) :- inf:subClassOf(?C,?Y), nf:conj(?Y,?D1,?D2) .
 
-% R_\sqcap^+: 
-%   If ?C is contained in ?D1 and ?D2, 
-%   then ?C is contained in the intersection ?I of ?D1 ?D2
+%%% R_\sqcap^+: 
+%%%   If ?C is contained in ?D1 and ?D2, 
+%%%   then ?C is contained in the intersection ?I of ?D1 ?D2
 inf:subClassOf(?C, ?I) :-
     inf:subClassOf(?C, ?D1), inf:subClassOf(?C, ?D2),
     nf:conj(?I, ?D1, ?D2), nf:isSubClass(?I) .
 
-% R_\exists^-: 
-%   If every ?Y has an R-relation to a ?C
-%   and every ?E is a ?Y,
-%   then every ?E has an ?R-relation to a ?C
+%%% R_\exists^-: 
+%%%   If every ?Y has an R-relation to a ?C
+%%%   and every ?E is a ?Y,
+%%%   then every ?E has an ?R-relation to a ?C
 inf:ex(?E, ?R, ?C) :- inf:subClassOf(?E, ?Y), nf:exists(?Y, ?R, ?C) .
 
-% R_\exists^+: 
-%   If every ?E has an ?R-relation to a ?C,
-%   and every ?C is a ?D,
-%   and ?R is a subproperty of ?S,
-%   then every ?E has an ?S-relation to a ?D
-%   (i.e. every ?E is an ?Y where ?Y is the class of 
-%   of individuals that have an ?S-relation to a ?D)
+%%% R_\exists^+: 
+%%%   If every ?E has an ?R-relation to a ?C,
+%%%   and every ?C is a ?D,
+%%%   and ?R is a subproperty of ?S,
+%%%   then every ?E has an ?S-relation to a ?D
+%%%   (i.e. every ?E is an ?Y where ?Y is the class of 
+%%%   of individuals that have an ?S-relation to a ?D)
 inf:subClassOf(?E, ?Y) :-
     inf:ex(?E, ?R, ?C), inf:subClassOf(?C, ?D), nf:subProp(?R, ?S), 
     nf:exists(?Y, ?S, ?D), nf:isSubClass(?Y) .
 
-% R_\circ: 
-%   If ?E has an ?R1-relation to a ?C and ?C has an ?R2-relation to a ?D,
-%   and ?R1 is a subproperty of ?S1 and ?R2 is a subproperty of ?S2
-%   then ?E has an ?S-relation to a ?D
+%%% R_\circ: 
+%%%   If ?E has an ?R1-relation to a ?C and ?C has an ?R2-relation to a ?D,
+%%%   and ?R1 is a subproperty of ?S1 and ?R2 is a subproperty of ?S2
+%%%   then ?E has an ?S-relation to a ?D
 inf:ex(?E, ?S, ?D) :-
 	inf:ex(?E, ?R1, ?C), inf:ex(?C, ?R2, ?D),
 	nf:subProp(?R1, ?S1), nf:subProp(?R2, ?S2), 
     nf:subPropChain(?S1, ?S2, ?S) .
 
-% R_\sqsubseteq: Transitive closure of the subclass-of relation
+%%% R_\sqsubseteq: Transitive closure of the subclass-of relation
 inf:subClassOf(?C,?E) :- inf:subClassOf(?C,?D), nf:subClassOf(?D,?E) .
 
-% R_\bot: If every ?E has an R-relation to a ?C but ?C is empty, then ?E is also empty
+%%% R_\bot: If every ?E has an R-relation to a ?C but ?C is empty, then ?E is also empty
 inf:subClassOf(?E, "<http://www.w3.org/2002/07/owl#Nothing>") :-
     inf:ex(?E,?R,?C), inf:subClassOf(?C,"<http://www.w3.org/2002/07/owl#Nothing>") .
 
-%%% Extract final results for main classes
+
+%% Extract final results for main classes
 
 mainSubClassOf(?A,?B) :-
 	inf:subClassOf(?A,?B), nf:isMainClass(?A), nf:isMainClass(?B) .
diff --git a/evaluations/kr2024/programs/lubm-1k/nemo/run.rls b/evaluations/kr2024/programs/lubm-1k/nemo/run.rls
diff --git a/evaluations/kr2024/programs/ont-256/nemo/run.rls b/evaluations/kr2024/programs/ont-256/nemo/run.rls
