%0 Conference Paper %1 Lutz_2024 %A Lutz, Carsten %A Schulze, Lukas %B Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning %D 2024 %I International Joint Conferences on Artificial Intelligence Organization %K imported yaff %P 542–552 %R 10.24963/kr.2024/51 %T Description Logics with Abstraction and Refinement: From ALC to EL %U http://dx.doi.org/10.24963/kr.2024/51

@inproceedings{Lutz_2024, added-at = {2024-12-10T12:46:52.000+0100}, author = {Lutz, Carsten and Schulze, Lukas}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/25049a50b392eb100f9402c0546ba4a71/scadsfct}, booktitle = {Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning}, collection = {KR-2024}, doi = {10.24963/kr.2024/51}, interhash = {2860a8d42563104c4984919d7429c642}, intrahash = {5049a50b392eb100f9402c0546ba4a71}, keywords = {imported yaff}, month = nov, pages = {542–552}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, series = {KR-2024}, timestamp = {2025-07-29T10:29:43.000+0200}, title = {Description Logics with Abstraction and Refinement: From ALC to EL}, url = {http://dx.doi.org/10.24963/kr.2024/51}, year = 2024 }