elog f5783859-627b-4d01-b34e-9a5663735698 | Research Group Data and Web Science

< prev | next >

ELOG process (v1.0.181)

ID: f5783859-627b-4d01-b34e-9a5663735698 (complete)

State: complete / restart

date / time / ip

added:

2021-03-21 10:45:00

start:

2021-03-21 10:45:00

end:

2021-03-21 10:45:20

user IP:

83.252.225.163

input information

mode:

EL reasoner

ontology:

merge.txt

result

file:

out.owl

duration:

00:20 min

log

process created
java -Xmx8G -jar /home/timo/app/core/systems/elog/1.0.181/elog.jar -r /home/timo/app/core/data/f5783859-627b-4d01-b34e-9a5663735698/merge.txt /home/timo/app/core/data/f5783859-627b-4d01-b34e-9a5663735698/out.owl
====================================================
Read ontology from file: /home/timo/app/core/data/f5783859-627b-4d01-b34e-9a5663735698/merge.txt
====================================================
Loading ontology
Axioms:42912
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: 1516
Successfully read in 7059 milliseconds.
====================================================
Computing the maximum a-posteriori state: the most probable coherent ontology
====================================================
===== Start Standard Grounder =====Sun Mar 21 10:45:08 CET 2021
...............PutDataIntoTables duration: 151
6 hidden Predicates
15 observed Predicates
19 number of formulas
43721 evidence atoms
===== Start Standard Solver =====Sun Mar 21 10:45:08 CET 2021
---- Start  Loop 0 ----Sun Mar 21 10:45:09 CET 2021
add 51269 constraints (total number = 51269)
Optimize a model with 51269 rows, 45529 columns and 54301 nonzeros
Found heuristic solution: objective 1516
Presolve removed 51269 rows and 45529 columns
Presolve time: 0.07s
Explored 0 nodes (0 simplex iterations) in 0.08 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.516000000000e+03, best bound 1.516000000000e+03, gap 0.0%
---- Start  Loop 1 ----Sun Mar 21 10:45:11 CET 2021
add 23298 constraints (total number = 74567)
Optimize a model with 74567 rows, 66313 columns and 93544 nonzeros
Found heuristic solution: objective -0
Presolve removed 74567 rows and 66313 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 1.516000000000e+03, best bound 1.516000000000e+03, gap 0.0%
---- Start  Loop 2 ----Sun Mar 21 10:45:12 CET 2021
add 38964 constraints (total number = 113531)
Optimize a model with 113531 rows, 83075 columns and 187827 nonzeros
Found heuristic solution: objective -0
Presolve removed 113531 rows and 83075 columns
Presolve time: 0.14s
Explored 0 nodes (0 simplex iterations) in 0.17 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.516000000000e+03, best bound 1.516000000000e+03, gap 0.0%
---- Start  Loop 3 ----Sun Mar 21 10:45:13 CET 2021
add 18148 constraints (total number = 131679)
Optimize a model with 131679 rows, 88347 columns and 238118 nonzeros
Found heuristic solution: objective -0
Presolve removed 131679 rows and 88347 columns
Presolve time: 0.18s
Explored 0 nodes (0 simplex iterations) in 0.23 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.516000000000e+03, best bound 1.516000000000e+03, gap 0.0%
---- Start  Loop 4 ----Sun Mar 21 10:45:15 CET 2021
add 3351 constraints (total number = 135030)
Optimize a model with 135030 rows, 88840 columns and 247584 nonzeros
Presolve removed 135030 rows and 88840 columns
Presolve time: 0.19s
Explored 0 nodes (0 simplex iterations) in 0.32 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.516000000000e+03, best bound 1.516000000000e+03, gap 0.0%
Computed MAP state in 16076 milliseconds.
====================================================
Write ontology
====================================================
Filename of output: /home/timo/app/core/data/f5783859-627b-4d01-b34e-9a5663735698/out.owl
Most probable coherent ontology written in 19881 milliseconds.
Finished!

Data & Web Science computational services

ELOG process (v1.0.181)

ID: f5783859-627b-4d01-b34e-9a5663735698 (complete)

date / time / ip

input information

result

log