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.

3 files
FileFormat
examples.ttl TTL
queries/transitive-dependency-resolution.example.ttl TTL
queries/version-in-range.example.ttl TTL

Queries

SPARQL queries that define or exercise semantics.

2 files
FileFormat
queries/transitive-dependency-resolution.rq SPARQL
queries/version-in-range.rq SPARQL

Specification

Human-readable specification (HTML).

1 file
FileFormat
spec/ HTML