diff --git a/README.md b/README.md index c5a7321..62ad473 100644 --- a/README.md +++ b/README.md @@ -1,14 +1,13 @@ ## Chase-rs -An implementation of the chase algorithm in Rust for advanced reasoning engines. +An implementation of the chase algorithm in Rust for reasoning engines. ### Overview -The chase algorithm is a fundamental technique in context of database theory and knowledge representation used for: +The chase algorithm is a technique in context of database theory and knowledge representation used for: - Query answering under tuple-generating dependencies (TGDs) - Computing universal models -- Ontology-based data access (OBDA) - Datalog with existential rules This implementation provides a restricted-chase style materialization with active-trigger checks.