elog 4ddd49d7-65a9-4b30-9d8f-51bdf78b5396 | Research Group Data and Web Science

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

ID: 4ddd49d7-65a9-4b30-9d8f-51bdf78b5396 (complete)

State: complete / restart
date / time / ip

added:
2021-03-18 09:43:24
start:
2021-03-18 09:43:24
end:
2021-03-18 09:43:32
user IP:
83.252.225.163
input information

mode:
EL reasoner
ontology:
ontology1.owl
result

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

process created
java -Xmx8G -jar /home/timo/app/core/systems/elog/1.0.181/elog.jar -r /home/timo/app/core/data/4ddd49d7-65a9-4b30-9d8f-51bdf78b5396/ontology1.owl /home/timo/app/core/data/4ddd49d7-65a9-4b30-9d8f-51bdf78b5396/out.owl
====================================================
Read ontology from file: /home/timo/app/core/data/4ddd49d7-65a9-4b30-9d8f-51bdf78b5396/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 4158 milliseconds.
====================================================
Computing the maximum a-posteriori state: the most probable coherent ontology
====================================================
===== Start Standard Grounder =====Thu Mar 18 09:43:30 CET 2021
...........PutDataIntoTables duration: 82
6 hidden Predicates
11 observed Predicates
15 number of formulas
2658 evidence atoms
===== Start Standard Solver =====Thu Mar 18 09:43:30 CET 2021
---- Start  Loop 0 ----Thu Mar 18 09:43:30 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.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.090326075000e+03, best bound 1.090326075000e+03, gap 0.0%
---- Start  Loop 1 ----Thu Mar 18 09:43:30 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 ----Thu Mar 18 09:43:31 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.00 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 ----Thu Mar 18 09:43:31 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.00 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 ----Thu Mar 18 09:43:31 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.00 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 6541 milliseconds.
====================================================
Write ontology
====================================================
Filename of output: /home/timo/app/core/data/4ddd49d7-65a9-4b30-9d8f-51bdf78b5396/out.owl
Most probable coherent ontology written in 7463 milliseconds.
Finished!
Data & Web Science computational services

ELOG process (v1.0.181)

ID: 4ddd49d7-65a9-4b30-9d8f-51bdf78b5396 (complete)

date / time / ip

input information

result

log
