elog d79c5257-a138-4095-9133-881189e6575b | Research Group Data and Web Science

< prev | next >

ELOG process (v1.0.181)

ID: d79c5257-a138-4095-9133-881189e6575b (complete)

State: complete / restart

date / time / ip

added:

2022-11-22 07:27:25

start:

2022-11-22 07:27:25

end:

2022-11-22 07:27:28

user IP:

118.140.206.138

input information

mode:

EL reasoner

ontology:

it;'s;flu.xml

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/d79c5257-a138-4095-9133-881189e6575b/it;s;flu.xml /home/timo/app/core/data/d79c5257-a138-4095-9133-881189e6575b/out.owl
====================================================
Read ontology from file: /home/timo/app/core/data/d79c5257-a138-4095-9133-881189e6575b/it;s;flu.xml
====================================================
Loading ontology
Axioms:42
The following axioms are more expressive than OWL2 EL. They are removed from the ontology:
Thrown 13 axioms away.
Normalizing range restriction axioms... this might take some time...
-- start complex
-- finished complex
-- start transitive
-- finished transitive
Statistics:
concepts : 5
properties : 10
subsumes axioms: hard 0 soft 0
intersection axioms: hard 0 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: 0
There are no annotated axioms in the ontology!
Finished!

Data & Web Science computational services

ELOG process (v1.0.181)

ID: d79c5257-a138-4095-9133-881189e6575b (complete)

date / time / ip

input information

result

log