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/composition-audit.example.ttl TTL
queries/cumulative-confidence-chain.example.ttl TTL
queries/missing-required-assumptions.example.ttl TTL
queries/probability-product-conjunction-check.example.ttl TTL

Queries

SPARQL queries that define or exercise semantics.

4 files
FileFormat
queries/composition-audit.rq SPARQL
queries/cumulative-confidence-chain.rq SPARQL
queries/missing-required-assumptions.rq SPARQL
queries/probability-product-conjunction-check.rq SPARQL

Specification

Human-readable specification (HTML).

1 file
FileFormat
spec/ HTML