elog 2dd2d7c2-0905-409c-b323-9287fd6ab44b | Research Group Data and Web Science

< prev | next >

ELOG process (v1.0.181)

ID: 2dd2d7c2-0905-409c-b323-9287fd6ab44b (complete)

State: complete / restart

date / time / ip

added:

2021-03-18 10:08:38

start:

2021-03-18 10:08:38

end:

2021-03-18 10:08:49

user IP:

83.252.225.163

input information

mode:

EL reasoner

ontology:

merge.txt

result

file:

out.owl

duration:

00:11 min

log

process created
java -Xmx8G -jar /home/timo/app/core/systems/elog/1.0.181/elog.jar -r /home/timo/app/core/data/2dd2d7c2-0905-409c-b323-9287fd6ab44b/merge.txt /home/timo/app/core/data/2dd2d7c2-0905-409c-b323-9287fd6ab44b/out.owl
====================================================
Read ontology from file: /home/timo/app/core/data/2dd2d7c2-0905-409c-b323-9287fd6ab44b/merge.txt
====================================================
Loading ontology
Axioms:41395
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: 0
There are no annotated axioms in the ontology!
Finished!

Data & Web Science computational services

ELOG process (v1.0.181)

ID: 2dd2d7c2-0905-409c-b323-9287fd6ab44b (complete)

date / time / ip

input information

result

log