Cognitum Ontorion: Knowledge Representation and Reasoning System
DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet