VeritasGraph is a comprehensive, governed GraphRAG and agent framework for building enterprise-grade knowledge graphs with verifiable attribution. The repository contains a core Python library (VeritasReason) for knowledge graph construction, semantic extraction, reasoning, provenance tracking, and export, along with multiple domain-specific applications: a HIPAA-safe clinical knowledge graph pipeline (clinical-kg), a floorplan extraction and validation web app (floorplan-kg), a municipality incident reporting chatbot, and a Model Context Protocol (MCP) server for IDE integration. The architecture is modular, with a plugin-based method registry pattern, unified configuration management, and a pipeline orchestration engine. While the primary character is an application framework, it also includes research-oriented components such as clinical benchmarks (MedKG-Signal) and evaluation suites, making it a hybrid project with a strong application focus.
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.