module · git
Git Ontology
A content-addressed model of Git repositories, objects, tree entries, ordered commit ancestry, tags, references, and resolvable object stores.
Ontology
Core vocabulary: classes, properties, and axioms.
| File | Format | |
|---|---|---|
| ontology.ttl | TTL |
OWL
OWL Turtle projection of the ontology, suitable for reasoners.
| File | Format | |
|---|---|---|
| ontology-owl.ttl | TTL |
Shapes
SHACL constraints validating instances of the vocabulary.
| File | Format | |
|---|---|---|
| shapes.ttl | TTL |
Examples
Illustrative instance data using the vocabulary.
Queries
SPARQL queries that define or exercise semantics.
| File | Format | |
|---|---|---|
| queries/effective-payload-stores.rq | SPARQL | |
| queries/ordered-commit-parents.rq | SPARQL | |
| queries/resolve-head.rq | SPARQL | |
| queries/tree-entries.rq | SPARQL | |
| queries/unreachable-objects.rq | SPARQL |
Specification
Human-readable specification (HTML).
| File | Format | |
|---|---|---|
| spec/ | HTML |