Graph theory
Computing
Resource Description Framework
Query languages
Mathematics
Discrete mathematics
SPARQL
FO
Graph
Directed graph
RDFLib