elog 2a1f5178-009b-4027-8492-c7dd5484f62d | Research Group Data and Web Science

< prev | next >

ELOG process (v1.0.181)

ID: 2a1f5178-009b-4027-8492-c7dd5484f62d (complete)

State: complete / restart

date / time / ip

added:

2021-03-18 20:22:44

start:

2021-03-18 20:22:44

end:

2021-03-18 20:23:18

user IP:

130.236.70.123

input information

mode:

EL reasoner

ontology:

merge.txt

result

file:

out.owl

duration:

00:34 min

log

process created
java -Xmx8G -jar /home/timo/app/core/systems/elog/1.0.181/elog.jar -r /home/timo/app/core/data/2a1f5178-009b-4027-8492-c7dd5484f62d/merge.txt /home/timo/app/core/data/2a1f5178-009b-4027-8492-c7dd5484f62d/out.owl
====================================================
Read ontology from file: /home/timo/app/core/data/2a1f5178-009b-4027-8492-c7dd5484f62d/merge.txt
====================================================
Loading ontology
Axioms:42428
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: 1032
Successfully read in 12295 milliseconds.
====================================================
Computing the maximum a-posteriori state: the most probable coherent ontology
====================================================
===== Start Standard Grounder =====Thu Mar 18 20:22:59 CET 2021
...............PutDataIntoTables duration: 190
6 hidden Predicates
15 observed Predicates
19 number of formulas
43721 evidence atoms
===== Start Standard Solver =====Thu Mar 18 20:22:59 CET 2021
---- Start  Loop 0 ----Thu Mar 18 20:23:01 CET 2021
add 50785 constraints (total number = 50785)
Optimize a model with 50785 rows, 44077 columns and 52849 nonzeros
Found heuristic solution: objective 962.42
Presolve removed 50785 rows and 44077 columns
Presolve time: 0.08s
Explored 0 nodes (0 simplex iterations) in 0.09 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 9.624201758423e+02, best bound 9.624201758423e+02, gap 0.0%
---- Start  Loop 1 ----Thu Mar 18 20:23:03 CET 2021
add 20992 constraints (total number = 71777)
Optimize a model with 71777 rows, 63295 columns and 88120 nonzeros
Found heuristic solution: objective -0
Presolve removed 71777 rows and 63295 columns
Presolve time: 0.21s
Explored 0 nodes (0 simplex iterations) in 0.24 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 9.624201758423e+02, best bound 9.624201758423e+02, gap 0.0%
---- Start  Loop 2 ----Thu Mar 18 20:23:05 CET 2021
add 46712 constraints (total number = 118489)
Optimize a model with 118489 rows, 80933 columns and 200421 nonzeros
Found heuristic solution: objective -0
Presolve removed 118489 rows and 80933 columns
Presolve time: 0.28s
Explored 0 nodes (0 simplex iterations) in 0.37 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 9.624201758423e+02, best bound 9.624201758423e+02, gap 0.0%
---- Start  Loop 3 ----Thu Mar 18 20:23:07 CET 2021
add 21395 constraints (total number = 139884)
Optimize a model with 139884 rows, 86213 columns and 260171 nonzeros
Found heuristic solution: objective -0
Presolve removed 139884 rows and 86213 columns
Presolve time: 0.33s
Explored 0 nodes (0 simplex iterations) in 0.40 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 9.624201758423e+02, best bound 9.624201758423e+02, gap 0.0%
---- Start  Loop 4 ----Thu Mar 18 20:23:09 CET 2021
add 2526 constraints (total number = 142410)
Optimize a model with 142410 rows, 86617 columns and 267244 nonzeros
Presolve removed 142410 rows and 86617 columns
Presolve time: 0.22s
Explored 0 nodes (0 simplex iterations) in 0.37 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 9.624201758423e+02, best bound 9.624201758423e+02, gap 0.0%
Computed MAP state in 25805 milliseconds.
====================================================
Write ontology
====================================================
Filename of output: /home/timo/app/core/data/2a1f5178-009b-4027-8492-c7dd5484f62d/out.owl
Most probable coherent ontology written in 32750 milliseconds.
Finished!

Data & Web Science computational services

ELOG process (v1.0.181)

ID: 2a1f5178-009b-4027-8492-c7dd5484f62d (complete)

date / time / ip

input information

result

log