ha-mo-we/Racer
Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
source-id=374 version=0 project-id=374 project-version=0
| Type | GITHUB |
|---|---|
| Created at | 2019-03-19 05:08:33 UTC |
| Source | https://github.com/ha-mo-we/Racer |
| Branch or tag | master |
| Last seen commit | d690841d10015c7a75b1ded393fcf0a33092c4de |
| Release | http://dist.ultralisp.org/ultralisp/archive/h/ha-mo-we-Racer-20190701081621.tgz |
| Distributions | ultralisp |
| Last check | Finished 4 days 9 hours ago. Next check will be made in 2 days 14 hours. |