module · graphs
Graphs Ontology
Terms for graphs as binary specializations of hypergraphs, including ordered endpoint structure for directed edges.
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/materialize-connects.rq | SPARQL | |
| queries/materialize-graph-set-membership.rq | SPARQL | |
| queries/materialize-has-edge.rq | SPARQL | |
| queries/materialize-hypergraph-incidence.rq | SPARQL | |
| queries/materialize-source-target.rq | SPARQL |
Specification
Human-readable specification (HTML).
| File | Format | |
|---|---|---|
| spec/ | HTML |