elog 7c00d730-9942-4a3e-b192-1a1df7cbc048 | Research Group Data and Web Science

< prev | next >

ELOG process (v1.0.181)

ID: 7c00d730-9942-4a3e-b192-1a1df7cbc048 (complete)

State: complete / restart

date / time / ip

added:

2021-03-17 20:05:48

start:

2021-03-17 20:05:48

end:

2021-03-17 20:05:51

user IP:

130.236.70.123

input information

mode:

EL reasoner

ontology:

tiger_(1).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/7c00d730-9942-4a3e-b192-1a1df7cbc048/tiger_(1).owl /home/timo/app/core/data/7c00d730-9942-4a3e-b192-1a1df7cbc048/out.owl
====================================================
Read ontology from file: /home/timo/app/core/data/7c00d730-9942-4a3e-b192-1a1df7cbc048/tiger_(1).owl
====================================================
Loading ontology
Axioms:8
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...
<http://www.ex2#eats>
-- start complex
-- finished complex
-- start transitive
-- finished transitive
Statistics:
concepts : 7
properties : 1
subsumes axioms: hard 0 soft 0
intersection axioms: hard 1 soft 0
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: 2
Successfully read in 1007 milliseconds.
====================================================
Computing the maximum a-posteriori state: the most probable coherent ontology
====================================================
===== Start Standard Grounder =====Wed Mar 17 20:05:50 CET 2021
............PutDataIntoTables duration: 7
6 hidden Predicates
12 observed Predicates
16 number of formulas
20 evidence atoms
===== Start Standard Solver =====Wed Mar 17 20:05:50 CET 2021
---- Start  Loop 0 ----Wed Mar 17 20:05:50 CET 2021
add 26 constraints (total number = 26)
Optimize a model with 26 rows, 33 columns and 34 nonzeros
Found heuristic solution: objective 1.4
Presolve removed 26 rows and 33 columns
Presolve time: 0.01s
Explored 0 nodes (0 simplex iterations) in 0.02 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.400000000000e+00, best bound 1.400000000000e+00, gap 0.0%
---- Start  Loop 1 ----Wed Mar 17 20:05:50 CET 2021
add 2 constraints (total number = 28)
Optimize a model with 28 rows, 34 columns and 39 nonzeros
Found heuristic solution: objective -0
Presolve removed 28 rows and 34 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.100000000000e+00, best bound 1.100000000000e+00, gap 0.0%
Computed MAP state in 1966 milliseconds.
====================================================
Write ontology
====================================================
Filename of output: /home/timo/app/core/data/7c00d730-9942-4a3e-b192-1a1df7cbc048/out.owl
Most probable coherent ontology written in 2060 milliseconds.
Finished!

Data & Web Science computational services

ELOG process (v1.0.181)

ID: 7c00d730-9942-4a3e-b192-1a1df7cbc048 (complete)

date / time / ip

input information

result

log