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.

12 files
FileFormat
queries/active-reactions-by-type.example.ttl TTL
queries/agent-execution-trace.example.ttl TTL
queries/contested-generation-times.example.ttl TTL
queries/conversation-contributions.example.ttl TTL
queries/cross-conversation-replies.example.ttl TTL
queries/materialize-membership-ordering.example.ttl TTL
queries/message-responsibility-and-delivery.example.ttl TTL
queries/reply-branches.example.ttl TTL
queries/status-by-dimension.example.ttl TTL
queries/status-conflicts.example.ttl TTL
queries/transcript-membership.example.ttl TTL
queries/unavailable-reply-parents.example.ttl TTL

Queries

SPARQL queries that define or exercise semantics.

12 files
FileFormat
queries/active-reactions-by-type.rq SPARQL
queries/agent-execution-trace.rq SPARQL
queries/contested-generation-times.rq SPARQL
queries/conversation-contributions.rq SPARQL
queries/cross-conversation-replies.rq SPARQL
queries/materialize-membership-ordering.rq SPARQL
queries/message-responsibility-and-delivery.rq SPARQL
queries/reply-branches.rq SPARQL
queries/status-by-dimension.rq SPARQL
queries/status-conflicts.rq SPARQL
queries/transcript-membership.rq SPARQL
queries/unavailable-reply-parents.rq SPARQL

Specification

Human-readable specification (HTML).

1 file
FileFormat
spec/ HTML

Other

Additional published files.

9 files
FileFormat
profiles/addressed-message.ttl TTL
profiles/agent-execution.ttl TTL
profiles/artifact-discussion.ttl TTL
profiles/core.ttl TTL
profiles/position-aware.ttl TTL
profiles/provenance-rich.ttl TTL
profiles/targeted-comment.ttl TTL
profiles/threaded.ttl TTL
profiles/transcript.ttl TTL