# Generated by `synalog import` from an OWL/RDF ontology.
# 14703 classes, 2 object properties, 0 individuals.

# Schema — every class as a node (the TBox)
@OrderBy(ClassNode, "uri");
ClassNode(uri:, label:) distinct :- ClassRaw(uri:, label:);
ClassRaw(uri: 'http://purl.obolibrary.org/obo/DOID_0001816', label: 'angiosarcoma');
ClassRaw(uri: 'http://purl.obolibrary.org/obo/DOID_0002116', label: 'pterygium');
ClassRaw(uri: 'http://purl.obolibrary.org/obo/DOID_0014667', label: 'disease of metabolism');
ClassRaw(uri: 'http://purl.obolibrary.org/obo/DOID_0040001', label: 'shrimp allergy');
# … 14,699 more classes …

# Class hierarchy (transitive subClassOf), joined through ClassNode
@Recursive(SubClassOfEdge, 100);
SubClassOfEdge(child_uri:, parent_uri:) distinct :- SubClassOfRaw(child_uri:, parent_uri:), ClassNode(uri: child_uri), ClassNode(uri: parent_uri);
SubClassOfEdge(child_uri:, parent_uri:) distinct :- SubClassOfEdge(child_uri:, parent_uri: mid), SubClassOfRaw(child_uri: mid, parent_uri:);
SubClassOfRaw(child_uri: 'http://purl.obolibrary.org/obo/DOID_0001816', parent_uri: 'http://purl.obolibrary.org/obo/DOID_175');
SubClassOfRaw(child_uri: 'http://purl.obolibrary.org/obo/DOID_0002116', parent_uri: 'http://purl.obolibrary.org/obo/DOID_10124');
SubClassOfRaw(child_uri: 'http://purl.obolibrary.org/obo/DOID_0014667', parent_uri: 'http://purl.obolibrary.org/obo/DOID_4');
# … 17,221 more subClassOf edges …

# Concepts (edges)  —  DOID has no individuals, so these carry no facts
@OrderBy(IsAEdge, "subject_uri");
IsAEdge(subject_uri:, object_uri:) distinct :- IsARaw(subject_uri:, object_uri:);
