%0 Conference Paper %1 lutz2023description %A Lutz, Carsten %A Schulze, Lukas %B Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023 %D 2023 %E Marquis, Pierre %E Son, Tran Cao %E Kern-Isberner, Gabriele %K imported %P 492--501 %R 10.24963/KR.2023/48 %T Description Logics with Abstraction and Refinement

@inproceedings{lutz2023description, added-at = {2024-10-02T13:52:45.000+0200}, author = {Lutz, Carsten and Schulze, Lukas}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/28a9bf7920f5e8b1bfdcc8eed27576d0d/scadsfct}, booktitle = {Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece, September 2-8, 2023}, doi = {10.24963/KR.2023/48}, editor = {Marquis, Pierre and Son, Tran Cao and Kern{-}Isberner, Gabriele}, interhash = {655a32932b75c5519deb1073d72e2ad1}, intrahash = {8a9bf7920f5e8b1bfdcc8eed27576d0d}, keywords = {imported}, pages = {492--501}, timestamp = {2024-10-02T13:52:45.000+0200}, title = {Description Logics with Abstraction and Refinement}, year = 2023 }