[0] http://web.archive.org/web/20180311022804/http://www.shirky....

[1] https://www.stardog.com/docs/#_owl_rule_reasoning

[2] http://graphdb.ontotext.com/documentation/enterprise/reasoni...

[3] http://dev.grakn.ai/docs/knowledge-model/inference

[4] https://docs.datomic.com/on-prem/query.html