Description logic - davidar/scholarpedia GitHub Wiki Dr. Volker Haarslev ⚠️ **GitHub.com Fallback** ⚠️