I am researching graph processing (OLTP) and graph databases for a system where semanticity is inherent.<p>I am currently exploring logical inference (or reasoning) (Stardog [1], GraphDB [2], Grakn [3]) and stumbled upon «The Semantic Web, Syllogism, and Worldview» (2003) [0].<p>Semantics aside (this system would mandate for Stardog and Grakn’s lazy reasoning rather than GraphDB’s total materialization), I am interested in practical analyses of logical inference as I find some [0] arguments to be sound and atemporal and am therefore “undirected.”<p>Although it does not support automatic reasoning, Datomic [4] viewpoints are welcome.