Formal Ontologies

These ontologies are based on formal systems such as logic, set theory, and category theory.