Unification in the Description Logic $ELH_R^+$ without the Top Concept Modulo Cycle-Restricted Ontologies
F. Baader, and O. Fernández Gil. Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 1-6, 2024, Proceedings, Part II, volume 14740 of Lecture Notes in Computer Science, page 279--297. Springer, (2024)
DOI: https://doi.org/10.1007/978-3-031-63501-4_15
%0 Conference Paper
%1 BaFe-IJCAR-24
%A Baader, Franz
%A Fernández Gil, Oliver
%B Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 1-6, 2024, Proceedings, Part II
%D 2024
%E Benzmüller, Christoph
%E Heule, Marijn J.H.
%E Schmidt, Renate A.
%I Springer
%K
%P 279--297
%R https://doi.org/10.1007/978-3-031-63501-4_15
%T Unification in the Description Logic $ELH_R^+$ without the Top Concept Modulo Cycle-Restricted Ontologies
%V 14740
@inproceedings{BaFe-IJCAR-24,
added-at = {2024-09-10T10:41:24.000+0200},
author = {{Baader}, Franz and {Fern{\'a}ndez Gil}, Oliver},
biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2e8edbd44b24cadfbb4630ec45519d950/scadsfct},
booktitle = {Automated Reasoning - 12th International Joint Conference, {IJCAR} 2024, Nancy, France, July 1-6, 2024, Proceedings, Part {II}},
doi = {https://doi.org/10.1007/978-3-031-63501-4_15},
editor = {{Benzm{\"u}ller}, Christoph and {Heule}, Marijn J.H. and {Schmidt}, Renate A.},
interhash = {64f414e8244a6e93e1a25151c8fd5cd8},
intrahash = {e8edbd44b24cadfbb4630ec45519d950},
keywords = {},
pages = {279--297},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-09-10T10:47:32.000+0200},
title = {Unification in the Description Logic {$\mathcal{ELH}_{\mathcal{R}^+}$} without the Top Concept Modulo Cycle-Restricted Ontologies},
volume = 14740,
year = 2024
}
