elog 69e5d9e0-a3f2-4be8-bd85-3745c8c6cea4 | Research Group Data and Web Science

< prev | next >

ELOG process (v1.0.181)

ID: 69e5d9e0-a3f2-4be8-bd85-3745c8c6cea4 (complete)

State: complete / restart

date / time / ip

added:

2021-04-12 18:08:49

start:

2021-04-12 18:08:49

end:

2021-04-12 18:08:58

user IP:

83.252.225.163

input information

mode:

EL reasoner

ontology:

merge.txt

result

file:

out.owl

duration:

00:09 min

log

process created
java -Xmx8G -jar /home/timo/app/core/systems/elog/1.0.181/elog.jar -r /home/timo/app/core/data/69e5d9e0-a3f2-4be8-bd85-3745c8c6cea4/merge.txt /home/timo/app/core/data/69e5d9e0-a3f2-4be8-bd85-3745c8c6cea4/out.owl
====================================================
Read ontology from file: /home/timo/app/core/data/69e5d9e0-a3f2-4be8-bd85-3745c8c6cea4/merge.txt
====================================================
Loading ontology
Axioms:42911
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 9649 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: 69e5d9e0-a3f2-4be8-bd85-3745c8c6cea4 (complete)

date / time / ip

input information

result

log