# From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment

> Research article (Proceedings of the AAAI Conference on Artificial Intelligence, 2019) · cited 11× · AI/ML

**Wikidata**: [openalex:W2904676724](https://www.wikidata.org/wiki/openalex:W2904676724)  
**Source**: https://4ort.xyz/entity/from-horn-sriq-to-datalog-a-data-independent-transformation-that-preserves-assertion-entailment