module · evidence
Evidence Ontology
A domain-neutral vocabulary for claims, support and defeating arguments, evidentiary artifacts, premises, conclusions, and reasoning bases.
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/challenge-trace.rq | SPARQL | |
| queries/claims-without-support.rq | SPARQL | |
| queries/finding-provenance.rq | SPARQL | |
| queries/support-chain.rq | SPARQL | |
| queries/support-trace.rq | SPARQL |
Specification
Human-readable specification (HTML).
| File | Format | |
|---|---|---|
| spec/ | HTML |