FO[·]

This document describes the FO[·] (aka FO-dot) standard.

FO[·] is First Order logic with various extensions to allow complex knowledge to be expressed in a rigorous and elaboration-tolerant way. FO[·] facilitates the development of knowledge-intensive applications capable of intelligent behavior [CVVD22].

The document is meant to be a reference for Knowledge engineers and developers of reasoning engines.

Suggestions for improvements to the document can be made via issues on GitLab.