module · hypergraphs
Hypergraphs Ontology
Terms for hypergraphs, vertices, hyperedges, and incidence occurrences.
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/duplicate-incidence.rq | SPARQL | |
| queries/materialize-has-hyperedge.rq | SPARQL | |
| queries/materialize-hypergraph-set-membership.rq | SPARQL | |
| queries/materialize-set-membership.rq | SPARQL | |
| queries/vertices-from-incidence.rq | SPARQL |
Specification
Human-readable specification (HTML).
| File | Format | |
|---|---|---|
| spec/ | HTML |