fukurow-dl
| Crates.io | fukurow-dl |
| lib.rs | fukurow-dl |
| version | 0.2.0 |
| created_at | 2025-10-28 05:27:16.692314+00 |
| updated_at | 2025-10-28 11:52:39.907394+00 |
| description | OWL DL reasoning engine for Fukurow (complete tableau algorithm with individual reasoning) |
| homepage | |
| repository | https://github.com/com-junkawasaki/fukurow |
| max_upload_size | |
| id | 1904214 |
| size | 164,324 |
Jun Kawasaki (com-junkawasaki)