»Racer Systems
»Protege OWL Reasoner API
»FaCT
»FaCT++
»Bossam
»KAON2