Fast Approximate A-box Consistency Checking using Machine Learning

Ontology reasoning is typically a computationally intensive operation. While soundness and completeness of results is required in some use cases, for many others, a sensible trade-off between comput