Randomly Generated Knowledge Bases
Knowledge Bases over an individually generated random signature. Mostly used for evaluation of newly implemented reasoning systems.
Signature size up to 25:
All of the knowledge bases in this collection have been generated over a random signature using random conditionals.[collection README]
| randomTest_4_4_0 | randomTest_12_12_9 | randomTest_25_25_0 |
Larger Knowledge Bases:
Used to evaluate an implementation of reasoning utilizing the z3 SMT solver[collection README]
| large01 | large02 | large03 | large04 | large05 | large06 |
Knowledge Bases for CLKR-PS001:
All of the knowledge bases in this collection have been generated over a random signature using random conditionals.[collection README]
[complete collection]