How to cite
This artifact is a citable scholarly contribution. Please cite it when you draw on its formal commitments, when you use the viewer to make a claim about Leibniz's text, or when you build derivative artifacts (translations, reductions, or comparisons with other philosophers).
The persistent identifier is the Zenodo DOI listed below. The DOI resolves to a snapshot of the OWL artifact and accompanying documentation; the artifact is versioned, and the DOI you cite should match the version you used.
Recommended forms
Chicago
In a footnote or endnote
David R. Koepsell, The Philosophical Corpus of Leibniz: A BFO-Aligned Formal Rendering of Duncan's 1890 Anthology, version 1.0 (Zenodo, May 07, 2026), https://doi.org/.
MLA
In a works cited list
Koepsell, David R. The Philosophical Corpus of Leibniz: A BFO-Aligned Formal Rendering of Duncan's 1890 Anthology. Version 1.0, Zenodo, May 07, 2026, doi:.
APA
In a reference list
Koepsell, D. R. (May 07, 2026). The Philosophical Corpus of Leibniz: A BFO-Aligned Formal Rendering of Duncan's 1890 Anthology (Version 1.0) [Data set]. Zenodo. https://doi.org/
BibTeX
For LaTeX bibliographies
@misc{koepsell_leibniz_ontology,
author = {Koepsell, David R.},
title = {The Philosophical Corpus of Leibniz:
A BFO-Aligned Formal Rendering of
Duncan's 1890 Anthology},
year = {2026},
publisher = {Zenodo},
version = {1.0},
doi = {},
url = {https://doi.org/},
note = {Public-domain artifact derived from
Duncan, ed., The Philosophical Works
of Leibnitz (1890)}
}
What you should cite separately
The ontology depends on tools and source material that have their own citations. If your work draws substantively on those, cite them in addition to the artifact:
The Basic Formal Ontology
Arp, R., Smith, B., and Spear, A. D. (2015). Building Ontologies with Basic Formal Ontology. Cambridge, MA: MIT Press.
The HermiT reasoner
Glimm, B., Horrocks, I., Motik, B., Stoilos, G., and Wang, Z. (2014). HermiT: An OWL 2 reasoner. Journal of Automated Reasoning 53(3), 245–269.
The Duncan translation
Duncan, G. M., ed. (1890). The Philosophical Works of Leibnitz, second edition. New Haven: Tuttle, Morehouse, & Taylor. Public domain. Sourced via Internet Archive.
BFO-Agent (the extraction architecture)
Koepsell, D. R. (2026). BFO-Agent: A dialogue architecture for ontology extraction with reasoner-validated commitments. (forthcoming.)
Companion artifact
A companion ontology of Spinoza's Ethics is available at spinoza.davidkoepsell.com and may be cited in parallel where relevant. The two were extracted using the same pipeline and are designed to be comparable, though differences in source-text scope and provenance fidelity should be noted (see the methodology pages of each).
Versioning
The artifact is versioned by the SemVer convention. The major version increments when ontological commitments change in ways that break consistency with prior renderings. The minor version increments when classes or individuals are added without breaking prior commitments. The patch version increments for documentation, comment, or label changes that do not affect the ontological structure.
Each released version is independently archived at Zenodo and gets its own DOI. The DOI you should cite is the one matching the version you actually used. The version-independent DOI is provided for convenience but should be avoided in scholarly citations because it may resolve differently in the future.
A note on provenance
Per-class provenance is not navigable for this corpus due to a logging issue during extraction. See the methodology page for details. If you cite a specific class commitment from this ontology, the most you can say with full confidence is that it was committed during extraction of Duncan's anthology. The companion Spinoza site does have full provenance and provides a model of the intended scholarly practice for citing specific class-to-passage relationships.