elog 1e9e9d63-365a-4d57-ac59-330528ad93ec | Research Group Data and Web Science

< prev | next >

ELOG process (v1.0.181)

ID: 1e9e9d63-365a-4d57-ac59-330528ad93ec (complete)

State: complete / restart

date / time / ip

added:

2021-03-19 11:27:09

start:

2021-03-19 11:27:09

end:

2021-03-19 11:27:38

user IP:

83.252.225.163

input information

mode:

EL reasoner

ontology:

merge.txt

result

file:

out.owl

duration:

00:29 min

log

process created
java -Xmx8G -jar /home/timo/app/core/systems/elog/1.0.181/elog.jar -r /home/timo/app/core/data/1e9e9d63-365a-4d57-ac59-330528ad93ec/merge.txt /home/timo/app/core/data/1e9e9d63-365a-4d57-ac59-330528ad93ec/out.owl
====================================================
Read ontology from file: /home/timo/app/core/data/1e9e9d63-365a-4d57-ac59-330528ad93ec/merge.txt
====================================================
Loading ontology
Axioms:42475
The following axioms are more expressive than OWL2 EL. They are removed from the ontology:
Thrown 19348 axioms away.
Normalizing range restriction axioms... this might take some time...
-- start complex
-- finished complex
-- start transitive
-- finished transitive
Statistics:
concepts : 6043
properties : 4
subsumes axioms: hard 6617 soft 0
intersection axioms: hard 17 soft 0
opsub axioms: hard 0 soft 0
opsup axioms: hard 3299 soft 0
psubsumes axioms: hard 0 soft 0
pcom axioms: hard 1 soft 0
complex soft axioms: 1079
Successfully read in 13415 milliseconds.
====================================================
Computing the maximum a-posteriori state: the most probable coherent ontology
====================================================
===== Start Standard Grounder =====Fri Mar 19 11:27:24 CET 2021
...............PutDataIntoTables duration: 125
6 hidden Predicates
15 observed Predicates
19 number of formulas
43721 evidence atoms
===== Start Standard Solver =====Fri Mar 19 11:27:24 CET 2021
---- Start  Loop 0 ----Fri Mar 19 11:27:25 CET 2021
add 50832 constraints (total number = 50832)
Optimize a model with 50832 rows, 44218 columns and 52990 nonzeros
Found heuristic solution: objective 1001.8
Presolve removed 50832 rows and 44218 columns
Presolve time: 0.07s
Explored 0 nodes (0 simplex iterations) in 0.08 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.001804854224e+03, best bound 1.001804854224e+03, gap 0.0%
---- Start  Loop 1 ----Fri Mar 19 11:27:26 CET 2021
add 21883 constraints (total number = 72715)
Optimize a model with 72715 rows, 64227 columns and 90333 nonzeros
Found heuristic solution: objective -0
Presolve removed 72715 rows and 64227 columns
Presolve time: 0.10s
Explored 0 nodes (0 simplex iterations) in 0.11 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.001804854224e+03, best bound 1.001804854224e+03, gap 0.0%
---- Start  Loop 2 ----Fri Mar 19 11:27:28 CET 2021
add 55434 constraints (total number = 128149)
Optimize a model with 128149 rows, 83491 columns and 232196 nonzeros
Found heuristic solution: objective -0
Presolve removed 128149 rows and 83491 columns
Presolve time: 0.18s
Explored 0 nodes (0 simplex iterations) in 0.22 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.001804854224e+03, best bound 1.001804854224e+03, gap 0.0%
---- Start  Loop 3 ----Fri Mar 19 11:27:30 CET 2021
add 26102 constraints (total number = 154251)
Optimize a model with 154251 rows, 88935 columns and 306031 nonzeros
Found heuristic solution: objective -0
Presolve removed 154251 rows and 88935 columns
Presolve time: 0.24s
Explored 0 nodes (0 simplex iterations) in 0.31 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.001804854224e+03, best bound 1.001804854224e+03, gap 0.0%
---- Start  Loop 4 ----Fri Mar 19 11:27:32 CET 2021
add 2526 constraints (total number = 156777)
Optimize a model with 156777 rows, 89339 columns and 313104 nonzeros
Presolve removed 156777 rows and 89339 columns
Presolve time: 0.27s
Explored 0 nodes (0 simplex iterations) in 0.44 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.001804854224e+03, best bound 1.001804854224e+03, gap 0.0%
Computed MAP state in 24753 milliseconds.
====================================================
Write ontology
====================================================
Filename of output: /home/timo/app/core/data/1e9e9d63-365a-4d57-ac59-330528ad93ec/out.owl
Most probable coherent ontology written in 29232 milliseconds.
Finished!

Data & Web Science computational services

ELOG process (v1.0.181)

ID: 1e9e9d63-365a-4d57-ac59-330528ad93ec (complete)

date / time / ip

input information

result

log