Inferal Ontologies Ontosome by Inferal

Ontology

Core vocabulary: classes, properties, and axioms.

1 file
FileFormat
ontology.ttl TTL

OWL

OWL Turtle projection of the ontology, suitable for reasoners.

1 file
FileFormat
ontology-owl.ttl TTL

Shapes

SHACL constraints validating instances of the vocabulary.

1 file
FileFormat
shapes.ttl TTL

Examples

Illustrative instance data using the vocabulary.

6 files
FileFormat
examples.ttl TTL
queries/ceiling-not-target.example.ttl TTL
queries/comparable-budgets.example.ttl TTL
queries/period-mismatch.example.ttl TTL
queries/shared-budget-attribution-risk.example.ttl TTL
queries/unpaced-budgets.example.ttl TTL

Queries

SPARQL queries that define or exercise semantics.

5 files
FileFormat
queries/ceiling-not-target.rq SPARQL
queries/comparable-budgets.rq SPARQL
queries/period-mismatch.rq SPARQL
queries/shared-budget-attribution-risk.rq SPARQL
queries/unpaced-budgets.rq SPARQL

Specification

Human-readable specification (HTML).

1 file
FileFormat
spec/ HTML