# Query-based entailment and inseparability for ALC ontologies

> Research article (BIROn (Birkbeck, University of London), 2016) · cited 10× · AI/ML

**Wikidata**: [openalex:W2562912738](https://www.wikidata.org/wiki/openalex:W2562912738)  
**Source**: https://4ort.xyz/entity/query-based-entailment-and-inseparability-for-alc-ontologies