Oxford Semantic Technologies is an AI and Knowledge Graph Tech start-up from Oxford University. RDFox is the rules-based AI and world’s most performant knowledge graph.

Very good reasoning
Acquired by Samsung
Outil : RDFFox