rockit process (v0.5.227)
ID: aab355bd-5da6-4438-9a8b-eda73f760570 (complete)
date / time / ip
| added: | 2023-03-01 11:35:23 | start: | 2023-03-01 11:35:23 | end: | 2023-03-01 11:35:26 | user IP: | 134.155.85.94 |
input information
| gap: | default | inference: | exact marginal | input: | rules.mln | data: | kg.db |
result
| file: | output.db | duration: | 00:03 min |