%0 Conference Paper %1 conf/rulemlrr/AlrabbaaBBKK23 %A Alrabbaa, Christian %A Baader, Franz %A Borgwardt, Stefan %A Koopmann, Patrick %A Kovtunova, Alisa %B RuleML+RR %D 2023 %E Fensel, Anna %E Ozaki, Ana %E Roman, Dumitru %E Soylu, Ahmet %I Springer %K dblp %P 54-69 %T Combining Proofs for Description Logic and Concrete Domain Reasoning. %U http://dblp.uni-trier.de/db/conf/rulemlrr/rulemlrr2023.html#AlrabbaaBBKK23 %V 14244 %@ 978-3-031-45072-3

@inproceedings{conf/rulemlrr/AlrabbaaBBKK23, added-at = {2024-05-07T00:00:00.000+0200}, author = {Alrabbaa, Christian and Baader, Franz and Borgwardt, Stefan and Koopmann, Patrick and Kovtunova, Alisa}, biburl = {https://www.bibsonomy.org/bibtex/207a2f4fc61adde4bf4e13db9bde1cafb/dblp}, booktitle = {RuleML+RR}, crossref = {conf/rulemlrr/2023}, editor = {Fensel, Anna and Ozaki, Ana and Roman, Dumitru and Soylu, Ahmet}, ee = {https://doi.org/10.1007/978-3-031-45072-3_4}, interhash = {fe8c10bdc74c3142aafed046e0d41f63}, intrahash = {07a2f4fc61adde4bf4e13db9bde1cafb}, isbn = {978-3-031-45072-3}, keywords = {dblp}, pages = {54-69}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T09:05:26.000+0200}, title = {Combining Proofs for Description Logic and Concrete Domain Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/rulemlrr/rulemlrr2023.html#AlrabbaaBBKK23}, volume = 14244, year = 2023 }