PSOA RuleML:
You can find my GitHub page here.
ATC KB:
A PSOA RuleML Knowledge Base on aircraft separation during arrival and departures. See here for more details.