elog 324de577-6198-4bb3-a383-acf9f043c1aa | Research Group Data and Web Science

< prev | next >

ELOG process (v1.0.181)

ID: 324de577-6198-4bb3-a383-acf9f043c1aa (complete)

State: complete / restart

date / time / ip

added:

2021-03-17 18:27:16

start:

2021-03-17 18:27:16

end:

2021-03-17 18:27:21

user IP:

130.236.70.123

input information

mode:

EL reasoner

ontology:

mouse.owl

result

file:

out.owl

duration:

00:05 min

log

process created
java -Xmx8G -jar /home/timo/app/core/systems/elog/1.0.181/elog.jar -r /home/timo/app/core/data/324de577-6198-4bb3-a383-acf9f043c1aa/mouse.owl /home/timo/app/core/data/324de577-6198-4bb3-a383-acf9f043c1aa/out.owl
====================================================
Read ontology from file: /home/timo/app/core/data/324de577-6198-4bb3-a383-acf9f043c1aa/mouse.owl
====================================================
Loading ontology
Axioms:11043
The following axioms are more expressive than OWL2 EL. They are removed from the ontology:
Thrown 1036 axioms away.
Normalizing range restriction axioms... this might take some time...
-- start complex
-- finished complex
-- start transitive
-- finished transitive
Statistics:
concepts : 2745
properties : 3
subsumes axioms: hard 2856 soft 0
intersection axioms: hard 0 soft 0
opsub axioms: hard 0 soft 0
opsup axioms: hard 1637 soft 0
psubsumes axioms: hard 0 soft 0
pcom axioms: hard 0 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: 324de577-6198-4bb3-a383-acf9f043c1aa (complete)

date / time / ip

input information

result

log