Query Inseparability for ALC Ontologies

Artificial Intelligence - Netherlands
doi 10.1016/j.artint.2018.09.003