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.

5 files
FileFormat
examples.ttl TTL
queries/consequence-feedback.example.ttl TTL
queries/decision-trace.example.ttl TTL
queries/option-evaluations.example.ttl TTL
queries/supersession-chain.example.ttl TTL

Queries

SPARQL queries that define or exercise semantics.

4 files
FileFormat
queries/consequence-feedback.rq SPARQL
queries/decision-trace.rq SPARQL
queries/option-evaluations.rq SPARQL
queries/supersession-chain.rq SPARQL

Specification

Human-readable specification (HTML).

1 file
FileFormat
spec/ HTML