[phillord2]

I am using the term "ontology" to mean "a description of truth", and "epistemology" to mean "how do we know what truth is". Of course, these are philosophical definitions, which (as the article says) are not necessarily that applicable.

The article in question uses OWL -- which is a subset of first order logic -- to illustrate the point. Clojure is (in this article) just a syntactic wrapping.

[pfooti]

Ah, that certainly makes sense. The article was a hoot, BTW - speaking as both a philosophy geek and food geek.

[phillord]

Thank you!