John Beverley's repositories
Argument-Ontology
Argument ontology axioms, tests, etc.
BFO-Organization
BFO Documentation Page
Counter-SAT-Project
Project leveraging the z3 Python API to iterate model checking for subsets of large sets of axioms, and visualize temporal processing of those subsets.
JB-Fork-BFO-2020
Fork of the repository for BFO 2020 artifacts specified in ISO 21838-2:2020
NCOR-Training-Hub
The training hub for the National Center for Ontological Research
TQC-Chain-Project
This project is focused in exploring applications of the TQC strategy for modeling time given contemporary (~2023) semantic web tools.
forked-awesome-semantic-web
A curated list of various semantic web and linked data resources.
forked-connectedpapers-js
The JS client for the connected papers API
JB-Fork-BFO
BFO repository including source code and latest documents
operationalizing-coi
Repository for coordinated effort on Operationalizing Ontologies Community of Interest documentation.
ProvisionalFootballOntology-Soccer-
This is a provisional football ontology. It uses BFO as a higher-order ontology and CCO as a midlevel ontology with an eye towards interoperability.
purl.obolibrary.org
A system for managing OBO PURLs
STYLE-TEST-BFO-ontology.github.io
Test repo for updating BFO home page
TowardsACyberInformationOntology
General terms intended to be the top-level of an ontology modeling entities in the cyber domain.
CommonCoreOntologies
The Common Core Ontology Repository holds the current released version of the Common Core Ontology suite.
d3fend-ontology
This repository holds the necessary content to produce the D3FEND ontology distribution.