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.

2 files
FileFormat
examples.ttl TTL
queries/materialize-membership-directions.example.ttl TTL

Queries

SPARQL queries that define or exercise semantics.

21 files
FileFormat
queries/construct-dataset-delta-ambiguous-default.example.trig File
queries/construct-dataset-delta-ambiguous.example.trig File
queries/construct-dataset-delta-batch.example.trig File
queries/construct-dataset-delta-blank-graph-name.example.trig File
queries/construct-dataset-delta-blank-node.example.trig File
queries/construct-dataset-delta-default-named-move.example.trig File
queries/construct-dataset-delta-duplicate-graph-name.example.trig File
queries/construct-dataset-delta-empty-baseline.example.trig File
queries/construct-dataset-delta-empty-result.example.trig File
queries/construct-dataset-delta-graph-move.example.trig File
queries/construct-dataset-delta-identical.example.trig File
queries/construct-dataset-delta-inferred-types.example.trig File
queries/construct-dataset-delta-input.shapes.ttl TTL
queries/construct-dataset-delta-literal-identity.example.trig File
queries/construct-dataset-delta-missing-carrier.example.trig File
queries/construct-dataset-delta-rdf12-literals.example.trig File
queries/construct-dataset-delta-same-endpoint.example.trig File
queries/construct-dataset-delta-unrelated-description.example.trig File
queries/construct-dataset-delta.example.trig File
queries/construct-dataset-delta.rq SPARQL
queries/materialize-membership-directions.rq SPARQL

Specification

Human-readable specification (HTML).

1 file
FileFormat
spec/ HTML