elog 6edfdf85-0a50-4804-a2be-decd857e3f78 | Research Group Data and Web Science

< prev | next >

ELOG process (v1.0.181)

ID: 6edfdf85-0a50-4804-a2be-decd857e3f78 (complete)

State: complete / restart

date / time / ip

added:

2021-03-17 13:54:06

start:

2021-03-17 13:54:06

end:

2021-03-17 13:54:09

user IP:

130.236.70.123

input information

mode:

EL reasoner

ontology:

tiger.owl

result

file:

out.owl

duration:

00:03 min

log

process created
java -Xmx8G -jar /home/timo/app/core/systems/elog/1.0.181/elog.jar -r /home/timo/app/core/data/6edfdf85-0a50-4804-a2be-decd857e3f78/tiger.owl /home/timo/app/core/data/6edfdf85-0a50-4804-a2be-decd857e3f78/out.owl
====================================================
Read ontology from file: /home/timo/app/core/data/6edfdf85-0a50-4804-a2be-decd857e3f78/tiger.owl
====================================================
Loading ontology
Axioms:41
The following axioms are more expressive than OWL2 EL. They are removed from the ontology:
Thrown 2 axioms away.
Normalizing range restriction axioms... this might take some time...
-- start complex
-- finished complex
-- start transitive
-- finished transitive
Statistics:
concepts : 26
properties : 0
subsumes axioms: hard 3 soft 5
intersection axioms: hard 1 soft 4
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: 3
Successfully read in 903 milliseconds.
====================================================
Computing the maximum a-posteriori state: the most probable coherent ontology
====================================================
===== Start Standard Grounder =====Wed Mar 17 13:54:08 CET 2021
.............PutDataIntoTables duration: 10
6 hidden Predicates
13 observed Predicates
17 number of formulas
73 evidence atoms
===== Start Standard Solver =====Wed Mar 17 13:54:08 CET 2021
---- Start  Loop 0 ----Wed Mar 17 13:54:08 CET 2021
add 92 constraints (total number = 92)
Optimize a model with 92 rows, 103 columns and 99 nonzeros
Found heuristic solution: objective 289.387
Presolve removed 92 rows and 103 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 2.893870800000e+02, best bound 2.893870800000e+02, gap 0.0%
---- Start  Loop 1 ----Wed Mar 17 13:54:08 CET 2021
add 3 constraints (total number = 95)
Optimize a model with 95 rows, 106 columns and 108 nonzeros
Found heuristic solution: objective 273.787
Presolve removed 95 rows and 106 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 2.893870800000e+02, best bound 2.893870800000e+02, gap 0.0%
---- Start  Loop 2 ----Wed Mar 17 13:54:08 CET 2021
add 5 constraints (total number = 100)
Optimize a model with 100 rows, 109 columns and 123 nonzeros
Found heuristic solution: objective 268.308
Presolve removed 100 rows and 109 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 2.893870800000e+02, best bound 2.893870800000e+02, gap 0.0%
---- Start  Loop 3 ----Wed Mar 17 13:54:08 CET 2021
add 1 constraints (total number = 101)
Optimize a model with 101 rows, 109 columns and 125 nonzeros
Found heuristic solution: objective 268.308
Presolve removed 97 rows and 103 columns
Presolve time: 0.00s
Presolved: 4 rows, 6 columns, 12 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R100 by 1.00
Found heuristic solution: objective 283.9082200
Variable types: 0 continuous, 6 integer (6 binary)
Root relaxation: cutoff, 0 iterations, 0.00 seconds
Explored 0 nodes (0 simplex iterations) in 0.00 seconds
Thread count was 8 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 2.839082200000e+02, best bound 2.839082200000e+02, gap 0.0%
Computed MAP state in 2234 milliseconds.
====================================================
Write ontology
====================================================
Filename of output: /home/timo/app/core/data/6edfdf85-0a50-4804-a2be-decd857e3f78/out.owl
Most probable coherent ontology written in 2434 milliseconds.
Finished!

Data & Web Science computational services

ELOG process (v1.0.181)

ID: 6edfdf85-0a50-4804-a2be-decd857e3f78 (complete)

date / time / ip

input information

result

log