rockit process (v0.5.227)
ID: 9bac0d11-4d49-4b00-b1f5-3e568326cce8 (complete)
date / time / ip
| added: | 2023-03-02 11:15:05 | start: | 2023-03-02 11:15:05 | end: | 2023-03-02 11:15:06 | user IP: | 87.132.250.54 |
input information
| gap: | default | inference: | exact marginal | input: | rules.mln | data: | kg.db |
result
| file: | output.db | duration: | 00:01 min |