pr4xis/CITATION.cff at master · i-am-logger/pr4xis · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
cff-version: 1.2.0
message: "If you use pr4xis in your research, please cite it as below."
title: pr4xis
abstract: >-
  An ontology-driven, axiomatic reasoning engine: knowledge is represented as
  ontologies (typed concepts and the proven relationships between them),
  connected across domains by category-theory functors, and every claim carries
  a proof path back to the axioms it rests on.
type: software
authors:
  - given-names: Ido
    family-names: Samuelson
    website: "https://github.com/i-am-logger"
repository-code: "https://github.com/i-am-logger/pr4xis"
url: "https://pr4xis.dev"
license: CC-BY-NC-SA-4.0
version: 0.29.1
date-released: "2026-08-10"
doi: 10.5281/zenodo.20755387
keywords:
  - ontology
  - category theory
  - axiomatic reasoning
  - knowledge representation
  - neurosymbolic
  - formal methods
  - automated reasoning
  - knowledge graph