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.

13 files
FileFormat
examples.ttl TTL
queries/applicable-processing-specifications.example.ttl TTL
queries/context-compatibility-gaps.example.ttl TTL
queries/indirect-classified-influences.example.ttl TTL
queries/lineage-coverage-gaps.example.ttl TTL
queries/materialize-propagated-candidates.example.ttl TTL
queries/materialize-qualified-mitigation-requirements.example.ttl TTL
queries/mitigation-requirement-gaps.example.ttl TTL
queries/processing-conformance-gaps.example.ttl TTL
queries/prohibited-processing-activities.example.ttl TTL
queries/structural-validation-gaps.example.ttl TTL
queries/trace-upstream-classifications.example.ttl TTL
queries/unresolved-classification-impacts.example.ttl TTL

Queries

SPARQL queries that define or exercise semantics.

13 files
FileFormat
queries/applicable-processing-specifications.rq SPARQL
queries/context-compatibility-gaps.rq SPARQL
queries/indirect-classified-influences.rq SPARQL
queries/lineage-coverage-gaps.rq SPARQL
queries/materialize-propagated-candidates.rq SPARQL
queries/materialize-qualified-mitigation-requirements.rq SPARQL
queries/mitigation-requirement-gaps.rq SPARQL
queries/processing-conformance-gaps.rq SPARQL
queries/prohibited-processing-activities.rq SPARQL
queries/registry.ttl TTL
queries/structural-validation-gaps.rq SPARQL
queries/trace-upstream-classifications.rq SPARQL
queries/unresolved-classification-impacts.rq SPARQL

Specification

Human-readable specification (HTML).

1 file
FileFormat
spec/ HTML