elog 527b859d-6d07-469d-93b8-119ca7dc1b29 | Research Group Data and Web Science

< prev | next >

ELOG process (v1.0.181)

ID: 527b859d-6d07-469d-93b8-119ca7dc1b29 (complete)

State: complete / restart

date / time / ip

added:

2021-03-19 20:05:58

start:

2021-03-19 20:05:58

end:

2021-03-19 20:06:21

user IP:

130.236.70.123

input information

mode:

EL reasoner

ontology:

merge.txt

result

file:

out.owl

duration:

00:23 min

log

process created
java -Xmx8G -jar /home/timo/app/core/systems/elog/1.0.181/elog.jar -r /home/timo/app/core/data/527b859d-6d07-469d-93b8-119ca7dc1b29/merge.txt /home/timo/app/core/data/527b859d-6d07-469d-93b8-119ca7dc1b29/out.owl
====================================================
Read ontology from file: /home/timo/app/core/data/527b859d-6d07-469d-93b8-119ca7dc1b29/merge.txt
====================================================
Loading ontology
Axioms:42434
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: 1038
Successfully read in 8924 milliseconds.
====================================================
Computing the maximum a-posteriori state: the most probable coherent ontology
====================================================
===== Start Standard Grounder =====Fri Mar 19 20:06:09 CET 2021
...............PutDataIntoTables duration: 111
6 hidden Predicates
15 observed Predicates
19 number of formulas
43721 evidence atoms
===== Start Standard Solver =====Fri Mar 19 20:06:09 CET 2021
---- Start  Loop 0 ----Fri Mar 19 20:06:10 CET 2021
add 50791 constraints (total number = 50791)
Optimize a model with 50791 rows, 44095 columns and 52867 nonzeros
Found heuristic solution: objective 968.15
Presolve removed 50791 rows and 44095 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 9.681495988182e+02, best bound 9.681495988182e+02, gap 0.0%
---- Start  Loop 1 ----Fri Mar 19 20:06:11 CET 2021
add 19668 constraints (total number = 70459)
Optimize a model with 70459 rows, 62062 columns and 85088 nonzeros
Found heuristic solution: objective -0
Presolve removed 70459 rows and 62062 columns
Presolve time: 0.09s
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 9.681495988182e+02, best bound 9.681495988182e+02, gap 0.0%
---- Start  Loop 2 ----Fri Mar 19 20:06:13 CET 2021
add 34127 constraints (total number = 104586)
Optimize a model with 104586 rows, 77207 columns and 165981 nonzeros
Found heuristic solution: objective -0
Presolve removed 104586 rows and 77207 columns
Presolve time: 0.15s
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 9.681495988182e+02, best bound 9.681495988182e+02, gap 0.0%
---- Start  Loop 3 ----Fri Mar 19 20:06:14 CET 2021
add 14956 constraints (total number = 119542)
Optimize a model with 119542 rows, 81713 columns and 207180 nonzeros
Found heuristic solution: objective -0
Presolve removed 119542 rows and 81713 columns
Presolve time: 0.19s
Explored 0 nodes (0 simplex iterations) in 0.24 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 9.681495988182e+02, best bound 9.681495988182e+02, gap 0.0%
---- Start  Loop 4 ----Fri Mar 19 20:06:15 CET 2021
add 2469 constraints (total number = 122011)
Optimize a model with 122011 rows, 82104 columns and 214089 nonzeros
Presolve removed 122011 rows and 82104 columns
Presolve time: 0.17s
Explored 0 nodes (0 simplex iterations) in 0.30 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 9.681495988182e+02, best bound 9.681495988182e+02, gap 0.0%
Computed MAP state in 18244 milliseconds.
====================================================
Write ontology
====================================================
Filename of output: /home/timo/app/core/data/527b859d-6d07-469d-93b8-119ca7dc1b29/out.owl
Most probable coherent ontology written in 22230 milliseconds.
Finished!

Data & Web Science computational services

ELOG process (v1.0.181)

ID: 527b859d-6d07-469d-93b8-119ca7dc1b29 (complete)

date / time / ip

input information

result

log