elog 4a4d081c-80ee-48e3-a2c9-07810b8b2824 | Research Group Data and Web Science

< prev | next >
ELOG process (v1.0.181)

ID: 4a4d081c-80ee-48e3-a2c9-07810b8b2824 (complete)

State: complete / restart
date / time / ip

added:
2021-03-17 20:07:18
start:
2021-03-17 20:07:18
end:
2021-03-17 20:07:27
user IP:
130.236.70.123
input information

mode:
EL reasoner
ontology:
ontology1.owl
result

file:
out.owl
duration:
00:09 min
log

process created
java -Xmx8G -jar /home/timo/app/core/systems/elog/1.0.181/elog.jar -r /home/timo/app/core/data/4a4d081c-80ee-48e3-a2c9-07810b8b2824/ontology1.owl /home/timo/app/core/data/4a4d081c-80ee-48e3-a2c9-07810b8b2824/out.owl
====================================================
Read ontology from file: /home/timo/app/core/data/4a4d081c-80ee-48e3-a2c9-07810b8b2824/ontology1.owl
====================================================
Loading ontology
Axioms:2581
The following axioms are more expressive than OWL2 EL. They are removed from the ontology:
Thrown 0 axioms away.
Normalizing range restriction axioms... this might take some time...
-- start complex
-- finished complex
-- start transitive
-- finished transitive
Statistics:
concepts : 74
properties : 0
subsumes axioms: hard 0 soft 84
intersection axioms: hard 0 soft 2423
opsub axioms: hard 0 soft 0
opsup axioms: hard 0 soft 0
psubsumes axioms: hard 0 soft 0
pcom axioms: hard 0 soft 0
complex soft axioms: 0
Successfully read in 5359 milliseconds.
====================================================
Computing the maximum a-posteriori state: the most probable coherent ontology
====================================================
===== Start Standard Grounder =====Wed Mar 17 20:07:24 CET 2021
...........PutDataIntoTables duration: 88
6 hidden Predicates
11 observed Predicates
15 number of formulas
2658 evidence atoms
===== Start Standard Solver =====Wed Mar 17 20:07:25 CET 2021
---- Start  Loop 0 ----Wed Mar 17 20:07:25 CET 2021
add 224 constraints (total number = 224)
Optimize a model with 224 rows, 2730 columns and 224 nonzeros
Found heuristic solution: objective 1090.33
Presolve removed 224 rows and 2730 columns
Presolve time: 0.01s
Explored 0 nodes (0 simplex iterations) in 0.01 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.090326075000e+03, best bound 1.090326075000e+03, gap 0.0%
---- Start  Loop 1 ----Wed Mar 17 20:07:25 CET 2021
add 66 constraints (total number = 290)
Optimize a model with 290 rows, 2765 columns and 398 nonzeros
Found heuristic solution: objective 1081.85
Presolve removed 290 rows and 2765 columns
Presolve time: 0.00s
Explored 0 nodes (0 simplex iterations) in 0.00 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.081992175000e+03, best bound 1.081992175000e+03, gap 0.0%
---- Start  Loop 2 ----Wed Mar 17 20:07:25 CET 2021
add 46 constraints (total number = 336)
Optimize a model with 336 rows, 2776 columns and 516 nonzeros
Found heuristic solution: objective 1075.8
Presolve removed 330 rows and 2766 columns
Presolve time: 0.00s
Presolved: 6 rows, 10 columns, 18 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R308 by 1.00
Found heuristic solution: objective 1079.2419500
Variable types: 0 continuous, 10 integer (10 binary)
Root relaxation: cutoff, 2 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
     0     0     cutoff    0      1079.24195 1079.24195  0.00%     -    0s
Explored 0 nodes (2 simplex iterations) in 0.01 seconds
Thread count was 8 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.079241950000e+03, best bound 1.079241950000e+03, gap 0.0%
---- Start  Loop 3 ----Wed Mar 17 20:07:26 CET 2021
add 18 constraints (total number = 354)
Optimize a model with 354 rows, 2776 columns and 561 nonzeros
Found heuristic solution: objective 1074.8
Presolve removed 322 rows and 2746 columns
Presolve time: 0.00s
Presolved: 32 rows, 30 columns, 81 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R336 by 1.00
Variable types: 0 continuous, 30 integer (30 binary)
Root relaxation: objective 1.079242e+03, 12 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    1079.2419500 1079.24195  0.00%     -    0s
Explored 0 nodes (12 simplex iterations) in 0.01 seconds
Thread count was 8 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.079241950000e+03, best bound 1.079241950000e+03, gap 0.0%
---- Start  Loop 4 ----Wed Mar 17 20:07:26 CET 2021
add 3 constraints (total number = 357)
Optimize a model with 357 rows, 2776 columns and 570 nonzeros
Found heuristic solution: objective 1074.8
Presolve removed 321 rows and 2744 columns
Presolve time: 0.00s
Presolved: 36 rows, 32 columns, 91 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R354 by 1.00
Variable types: 0 continuous, 32 integer (32 binary)
Root relaxation: objective 1.079242e+03, 12 iterations, 0.00 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
*    0     0               0    1079.2419500 1079.24195  0.00%     -    0s
Explored 0 nodes (12 simplex iterations) in 0.01 seconds
Thread count was 8 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.079241950000e+03, best bound 1.079241950000e+03, gap 0.0%
Computed MAP state in 7647 milliseconds.
====================================================
Write ontology
====================================================
Filename of output: /home/timo/app/core/data/4a4d081c-80ee-48e3-a2c9-07810b8b2824/out.owl
Most probable coherent ontology written in 8785 milliseconds.
Finished!
Data & Web Science computational services

ELOG process (v1.0.181)

ID: 4a4d081c-80ee-48e3-a2c9-07810b8b2824 (complete)

date / time / ip

input information

result

log
