|
|
We present more information about the experiments performed for our contribution to the OWL Reasoner Evaluation Workshop 2013 (ORE 2013). The results were obtained for four reasoners running on Android (CB, JFact, Pellet, HermiT) tested with five well-known ontologies: Pizza and Wine, which are two expressive ontologies; DBpedia 3.8 (T-BOX), which can be useful for mobile apps developers to access the structured content of DBpedia (a semantic entry point to Wikipedia); and the Gene Ontology (GO) and the US National Cancer Institute (NCI), which contain a high number of concepts.
ONTOLOGIES
Ontology |
DLExpressivity |
Horn |
|N_logicalAxioms| |
|N_roles| |
|N_concepts| |
|N_individuals| |
|---|---|---|---|---|---|---|
|
Pizza |
SHOIN |
X |
714 |
8 |
100 |
5 |
|
Wine |
SHOIN(D) |
X |
950 |
17 |
138 |
206 |
|
DBpedia 3.8 |
ALF(D) |
V |
3542 |
1894 |
436 |
|
|
GO |
ALE+ |
V |
28897 |
1 |
20465 |
|
|
NCI |
ALE |
V |
46940 |
70 |
27652 |
GALAXY TAB, ANDROID 2.3.3
Results for the reasoners running on a Samsung Galaxy Tab 7.0 with Android 2.3.3
Ontology/Reasoner |
CB(C) |
CB(CL) |
JFact(C) |
JFact(CL) |
HermiT(C) |
HermiT(CL) |
Pellet(C) |
Pellet(CL) |
|---|---|---|---|---|---|---|---|---|
|
Pizza |
0.105 |
0.002 |
0.3 |
4.903 |
1.719 |
14.884 |
1.841 |
33.221 |
|
Wine |
0.018 |
0.001 |
0.391 |
2196.055 |
4.133 |
511.963 |
1.409 |
194.124 |
|
DBpedia 3.8 |
0.736 |
0.002 |
-777 |
-777 |
5.677 |
8.872 |
2.746 |
115.301 |
|
NCI |
8.778 |
1.951 |
17.243 |
-999 |
59.215 |
-999 |
-999 |
-999 |
|
GO |
39.954 |
3.313 |
-999 |
-999 |
-999 |
-999 |
-999 |
-999 |
Note: Reasoner(C) represents the time needed for the creation of the reasoner, Reasoner(CL) represents the time needed for the classification task.
-777 represents an Unsupported Data Type error, -999 represents an Out Of Memory error
GOOGLE NEXUS, ANDROID 4.2.1
Results for the reasoners running on a Google Galaxy Nexus with Android 4.2.1
Ontology/Reasoner |
CB(C) |
CB(CL) |
JFact(C) |
JFact(CL) |
HermiT(C) |
HermiT(CL) |
Pellet(C) |
Pellet(CL) |
|---|---|---|---|---|---|---|---|---|
|
Pizza |
0.102 |
0.001 |
0.253 |
3.42 |
1.483 |
10.425 |
1.554 |
20.775 |
|
Wine |
0.001 |
0.002 |
0.319 |
1609.322 |
3.347 |
361.379 |
1.225 |
131.794 |
|
DBpedia 3.8 |
0.608 |
0.002 |
-777 |
-777 |
4.693 |
5.132 |
2.083 |
63.154 |
|
NCI |
7.093 |
1.466 |
9.121 |
435.606 |
23.323 |
487.986 |
27.01 |
83.968 |
|
GO |
33.373 |
2.689 |
21.411 |
-999 |
84.483 |
2020.485 |
110.14 |
-999 |
Note: Reasoner(C) represents the time needed for the creation of the reasoner, Reasoner(CL) represents the time needed for the classification task.
-777 represents an Unsupported Data Type error, -999 represents an Out Of Memory error
PC
Results for the reasoners running on a Google Galaxy Nexus with Android 4.2.1
Ontology/Reasoner |
CB(C) |
CB(CL) |
JFact(C) |
JFact(CL) |
HermiT(C) |
HermiT(CL) |
Pellet(C) |
Pellet(CL) |
|---|---|---|---|---|---|---|---|---|
|
Pizza |
0.222 |
0.373 |
0.212 |
0.566 |
0.251 |
0.966 |
||
|
Wine |
0.069 |
10.388 |
0.414 |
6.539 |
0.211 |
2.219 |
||
|
DBpedia 3.8 |
0.001 |
-777 |
-777 |
0.575 |
0.103 |
0.275 |
1.392 |
|
|
NCI |
0.514 |
0.113 |
0.444 |
7.771 |
1.532 |
1.564 |
0.896 |
1.957 |
|
GO |
2.136 |
0.237 |
0.241 |
2.613 |
1.397 |
2.233 |
1.554 |
4.237 |
Note: Reasoner(C) represents the time needed for the creation of the reasoner, Reasoner(CL) represents the time needed for the classification task.
-777 represents an Unsupported Data Type error
