Description Logics with Abstraction and Refinement
C. Lutz, und L. Schulze. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023, Seite 492--501. (2023)
DOI: 10.24963/KR.2023/48
%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
}
