elog f6a2224e-4149-4ad9-80e0-b52de97cd644 | Research Group Data and Web Science

< prev | next >

ELOG process (v1.0.181)

ID: f6a2224e-4149-4ad9-80e0-b52de97cd644 (complete)

State: complete / restart

date / time / ip

added:

2021-03-17 18:20:48

start:

2021-03-17 18:20:48

end:

2021-03-17 18:21:09

user IP:

130.236.70.123

input information

mode:

EL reasoner

ontology:

merge.txt

result

file:

out.owl

duration:

00:21 min

log

process created
java -Xmx8G -jar /home/timo/app/core/systems/elog/1.0.181/elog.jar -r /home/timo/app/core/data/f6a2224e-4149-4ad9-80e0-b52de97cd644/merge.txt /home/timo/app/core/data/f6a2224e-4149-4ad9-80e0-b52de97cd644/out.owl
====================================================
Read ontology from file: /home/timo/app/core/data/f6a2224e-4149-4ad9-80e0-b52de97cd644/merge.txt
====================================================
Loading ontology
Axioms:43928
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 : 7731
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: 844
Successfully read in 9659 milliseconds.
====================================================
Computing the maximum a-posteriori state: the most probable coherent ontology
====================================================
===== Start Standard Grounder =====Wed Mar 17 18:20:59 CET 2021
...............PutDataIntoTables duration: 108
6 hidden Predicates
15 observed Predicates
19 number of formulas
47097 evidence atoms
===== Start Standard Solver =====Wed Mar 17 18:20:59 CET 2021
---- Start  Loop 0 ----Wed Mar 17 18:21:00 CET 2021
add 55661 constraints (total number = 55661)
Optimize a model with 55661 rows, 48577 columns and 57349 nonzeros
Found heuristic solution: objective 801.719
Presolve removed 55661 rows and 48577 columns
Presolve time: 0.11s
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 8.017185812889e+02, best bound 8.017185812889e+02, gap 0.0%
---- Start  Loop 1 ----Wed Mar 17 18:21:02 CET 2021
add 7403 constraints (total number = 63064)
Optimize a model with 63064 rows, 55921 columns and 64752 nonzeros
Found heuristic solution: objective 801.719
Presolve removed 63064 rows and 55921 columns
Presolve time: 0.09s
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 8.017185812889e+02, best bound 8.017185812889e+02, gap 0.0%
---- Start  Loop 2 ----Wed Mar 17 18:21:03 CET 2021
add 8604 constraints (total number = 71668)
Optimize a model with 71668 rows, 60769 columns and 84039 nonzeros
Found heuristic solution: objective 801.719
Presolve removed 71668 rows and 60769 columns
Presolve time: 0.08s
Explored 0 nodes (0 simplex iterations) in 0.10 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 8.017185812889e+02, best bound 8.017185812889e+02, gap 0.0%
---- Start  Loop 3 ----Wed Mar 17 18:21:03 CET 2021
add 8899 constraints (total number = 80567)
Optimize a model with 80567 rows, 63625 columns and 108241 nonzeros
Found heuristic solution: objective 801.719
Presolve removed 80567 rows and 63625 columns
Presolve time: 0.09s
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 8.017185812889e+02, best bound 8.017185812889e+02, gap 0.0%
---- Start  Loop 4 ----Wed Mar 17 18:21:04 CET 2021
add 1883 constraints (total number = 82450)
Optimize a model with 82450 rows, 63910 columns and 113495 nonzeros
Presolve removed 82450 rows and 63910 columns
Presolve time: 0.08s
Explored 0 nodes (0 simplex iterations) in 0.16 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 8.017185812889e+02, best bound 8.017185812889e+02, gap 0.0%
Computed MAP state in 17245 milliseconds.
====================================================
Write ontology
====================================================
Filename of output: /home/timo/app/core/data/f6a2224e-4149-4ad9-80e0-b52de97cd644/out.owl
Most probable coherent ontology written in 20809 milliseconds.
Finished!

Data & Web Science computational services

ELOG process (v1.0.181)

ID: f6a2224e-4149-4ad9-80e0-b52de97cd644 (complete)

date / time / ip

input information

result

log