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.

Contents

• Introduction
• Rationale
• Notation
• FO[Core]
• FO[Sugar]
• FO[PF]
• FO[ID]
• FO[Int]
• FO[Real]
• FO[Agg]
• FO[Infinite]
• FO[Concept]
• FO[Unit] ?
• FO[·]
• Bibliography
• Index