$ show BFO-ontology/BFO-2020
BFO-2020 is the official release repository for the Basic Formal Ontology (BFO) 2020, an upper-level ontology for representing entities, continuants, occurrents, processes, and other fundamental categories. The repository contains OWL, Common Logic, and other serializations of the core ontology, plus temporal and atemporal profiles. It is not a software application; it is a knowledge-representation artifact with a software-engineering-style build pipeline. The Makefile drives ROBOT-based reasoning, SPARQL quality checks, and multi-format export, and GitHub Actions runs these checks on every push. This gives the repo a hybrid character: the primary content is formal ontology data, but it is maintained with application-grade CI/CD practices.
The LLM identified 4 files worth highlighting for reuse:
ROBOT-based pipeline that reasons over the ontology, runs SPARQL quality-control queries, generates reports, and produces release artifacts. The pattern is generic enough to be reused by any OBO-style ontology project.
Common Logic axiomatization of BFO used as a reference model for consistency checking. It encodes the same universals and relations as the OWL version, enabling cross-checking between the OWL and FOL formulations.
Atemporal profile of BFO that removes the 'some-all-times' temporal relations, providing a simpler variant for domains that do not need temporal qualification. Demonstrates a clean pattern for maintaining ontology profiles alongside the core.
Defines the specific-dependency relation in Common Logic, a core BFO relation. The file is self-contained and can be reused as a template for axiomatizing other formal relations.